Useful law used to help prove a Proofs by Contradiction. Law Definition A law that states if A×B=1, then both A and B are 1 OR −1.