Stav dette: Ovcyannikov theorem and hyperdifferential operators