theorem :: XPRIMES2:3728

canceled;