SMS: Ovcyannikov theorem and hyperdifferential operators