5.141 If p follows from q and q from p then they are one and the same proposition.