: (cre - ann).comp (cre + ann) + (cre + ann).comp (cre - ann) = (2 : ℂ) • (cre.comp cre

Initializing...

: (cre - ann).comp (cre + ann) + (cre + ann).comp (cre - ann) = (2 : ℂ) • (cre.comp cre - ann.comp ann) · Prove2Me