theorem :: XPRIMES2:1460

canceled;