statement, proposition

THEOREM