В силлогизме должно быть