Definition of Majori Summe Minor Inest