f(x)を童貞関数,g(x)を処女関数とおくと、f,gはともに微分可能で

f´(x)=g(x)

が成り立つ。ここに驚くべき定理を見つけたのだが、証明を書くには余白が狭すぎる。