ポリトープであれば
poritōpudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ポリトープ

1. If polytope; When polytope

Ba Conditional
Mathematics