Template:Proofofstrictimplicationat

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