이공식은증명됨