よん しょく定理 ていりであれば
yonshokuteirideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 四色定理

1. If the four color theorem; Were the four color theorem

Ba Conditional
Mathematics