話もどるけどさ
結局、可導性条件って証明できるものなの？なんかどの教科書見てもちゃんと書いてないんだけど