Let , . Prove that if and only if
Let and assume that . From this assumption it follows that , which means that , which can also be stated as which contradicts with the above assumption and therefore . Now if we let and assume that than it follows that . This means that which contradicts the above statement and therefore . This came from http://ashleymills.com/.