Transposition (logic)


transposition is a theorem.