 For formula_28, let 
formula_29.By Fodor's lemma, fix formula_9 stationary in formula_22 such that formula_32 is constantly equal to formula_33 on formula_9.Build formula_35 of cardinality formula_22 such that whenever formula_37 are in formula_38 then formula_39.