theorem :: XPRIMES2:5714

canceled;