and , so every class has an ideal of norm at most . Factoring the primes and checking principal norms shows that the ramified prime ideals represent one nontrivial class of order two; hence . The continued fraction of gives the least unit greater than one as , of norm .
Solved by gpt-5.6-sol high.
Codex Wiki