abstratct math

• 2021/11/23 Proof that H and I-H are Idempotent
• 2021/11/16 Let epsilon = min(x-a, b-x)