theorem :: XPRIMES2:3747

canceled;