Es posible demostrar la premisa mayor del primer silogismo: