theorem :: XPRIMES1:2560

canceled;