同値の

どうちのdōchi no

Math., Logik äquivalent.