Proof reasoning

  1. Explain why it is necessary to prove both ``if TeX Embedding failed! then TeX Embedding failed!" and ``if TeX Embedding failed! then TeX Embedding failed!" in order to prove ``TeX Embedding failed! if and only if TeX Embedding failed!".