let a b c and d be sets such that a c and b d prove that a b c d