0/0の不定形の場合は証明すぐ出来るから
証明をきちんと書けばロピタルも使っていいだろう。