lang_trotter_conjecture