(Proof of other equivalences is an exercise for the reader.)
It's too bad math doesn't have semi colons: