Cancellation Laws/Corollary 1/Proof 2