proof

• 2021/11/23 Proof that H and I-H are Idempotent