Definition for argumentum a minori ad maius