. : Proposition H : .