Proven Mathematical Statement