プロキオンであれば
purokiondeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of プロキオン

1. If Procyon; When Procyon

Ba Conditional
Astronomy