`BookProof.ChapterParityZ4.combinedParity_order_four` : combinedParity ^ 2 ≠ 1 ∧ combinedParity ^ 4 = 1

Initializing...

`BookProof.ChapterParityZ4.combinedParity_order_four` : combinedParity ^ 2 ≠ 1 ∧ combinedParity ^ 4 = 1 · Prove2Me