Прям теоремы сплошные