This equation is satisfied only if, which contradicts the assumption that . We conclude that if and only if .
Equation na ito ay nasiyahan na lamang kung, Na kung saan contradicts sa palagay na ang . Tapusin namin na ang kung at kapag lamang .