(本来ならば単純明快先験自明普遍公理である蛇足的再確認)
そもそも実数体等値判定(MainEx .99…=1)と辞書式等値判定(MainEx .99…≠1)とは異なる!!