Какие тождества являются формулами приведения