Mapping from Toset is Order Embedding iff Strictly Increasing/Reverse Implication/Proof 1