theorem :: XPRIMES2:5386

canceled;