Definition of Majori Summae Minor Inest