. : Proposition L : .