Theorem: 4 - 2 * 2 = 0 ([Q(sqrt 2, sqrt 3) : Q] tower factorisation)

Theorem (Galois-Q-sqrt-2-3-tower canonical): the field tower Q subset Q(sqrt 2) subset Q(sqrt 2, sqrt 3) has [Q(sqrt 2, sqrt 3) : Q] = 4 = 2 * 2 = [Q(sqrt 2, sqrt 3) : Q(sqrt 2)] * [Q(sqrt 2) : Q]. Canonical sympy pin: residual =…