theorem :: XPRIMES2:6055

canceled;