Cancellability of Congruences/Corollary