もしかして弟子は正則な場合の証明が>>592で完成したと思ってるの?