Definition of In Majore Summa Continetur Minor