Template:Proofofstrictimplicationat

For proof of the implication, refer and for proof of its strictness (i.e. the reverse implication being false) refer