. : Proposition X : .