SMS dit: Ovcyannikov theorem and hyperdifferential operators