definition of the arithmetic circuit used in the proof of the first theorem