Stepanovin lause on yleistys Rademacherin lauseesta Lipschitzin funktion differentiatiivisuudesta .
Oletetaan funktio , joka on määritelty avoimessa euklidisen avaruuden joukossa , ja
kaikille . Sitten se on erotettavissa melkein kaikkialla .
Todisti Stepanov [1] .