 Applying Markov's inequality we see

Take formula_4 to be the parity function over formula_8 variables.After applying a random restriction of formula_25 variables, we know that formula_9 is either formula_27 or formula_28 depending the parity of the assignments to the remaining variables.Thus clearly the size of the circuit that computes formula_9 is exactly 1.