Auxiliary polynomial theorem