theorem :: XPRIMES2:5755

canceled;