O » , lamma propositionaf