theorem :: XPRIMES2:3708

canceled;