theorem :: XPRIMES2:2560

canceled;