A es demostración de B, y B es demostración de A.