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