If it is true that...

and

and

Then it must be true that...