Q.E.D. iff:

Q.E.D. iff: