Is assumed mean and step deviation formula derivation in syallvus or not

The title ....