Tekstiviesti: Ovcyannikov theorem and hyperdifferential operators