Cancellation Laws/Corollary 2/Proof 1