theorem :: XPRIMES2:3460

canceled;