アルキメデスの公理 こうりであれば
arukimedesuno kōrideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of アルキメデスの公理

1. If Archimedes' axiom were true; If Archimedes' postulate held

Ba Conditional