en el supuesto de que

+ (subjuntivo) ～であると仮定して､ ～のときは