Part 3: Question About Theorem 1.2 and Modular Congruence