theorem :: XPRIMES2:3386

canceled;