False Statement implies Every Statement/Formulation 1/Proof 1