型式 けいしき証明 しょうめいであれば
keishikishōmeideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 型式証明

1. If it's a type certification; If it is a type approval

Ba Conditional