“…✷ Theorem 10. If K admits a power integral basis, then the following divisibility conditions must hold: n mod 8 m mod 16 1 2 3 4 5 6 1, 5 1,3,5,7,11,13,15 n | m 2 3,5,7,9,11,13,15 4n If the right hand term in the divisibility conditions of columns 5 and 6 does not reduce to 0, there remain only a few possible values for m 0 . Proof of Theorem 10.…”