Comment by williamstein

Verifications of all the statements using SageMath, in case you want to be convinced or explore further: https://cloud.sagemath.com/projects/4a5f0542-5873-4eed-a85c-...