theorem :: XPRIMES2:3484

canceled;