これ無限小がある体系なら≠で
ない体系なら=ってだけの話ちゃうの