theorem :: XPRIMES2:5686

canceled;