theorem :: XPRIMES2:2460

canceled;