Add proposition as a theorem beginning