5.141

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