theorem :: XPRIMES2:5105

canceled;