任意の多項式時間機械formula_50(識別機(distinguisher)という)と任意の多項式formula_28に対し、あるformula_2があって任意のformula_30に対し