is true or

is true, then

is true.

(2)

implies "

or