20.9. Eστω p, q ισοδύναμα και p πρώτο. Τότε, από το Λήμμα 20.3,
p = qu, όπου u είναι μονάδα.
Ετσι αφού το πρώτο p δεν είναι 0 ή μονάδα το ίδιο ισχύει και για το q.
Ας υποθέσουμε τώρα ότι a q. Τότε a p, και αφού το p είναι πρώτο,
το a είναι μονάδα ή a ~ p.
Στη δεύτερη περίπτωση προφανώς a ~ q.
Επεται ότι το q είναι πρώτο.