((A and B) <=> (A and C)) => (B <=> C)