утверждения типа