theorem :: XPRIMES2:3667

canceled;