Li-Fan Chen
says to
YSITD
我們知道 (A V B) -> A 不成立