サーニャ=うんちって式はどこから導き出されたの