フレーム対応でないブラウザの方は、
こちら
から定理名を選んでください。