major propositio – főtétel, alaptétel.