theorem :: XPRIMES2:2755

canceled;