His proof was cast in modern form by later algebraic number theorists.
Η απόδειξη του πετάχτηκε στη σύγχρονη μορφή του αργότερα αλγεβρικό θεωρητικούς αριθμό .