Comment by kolinko

I didn’t read the paper but can’t this just be additionally with doing the actual muls? Or was it a nonconstructive proof?