Proven Mathematical Proposition