Cancellation Laws/Corollary 1/Proof 1