. : Proposition E : .