theorem :: XPRIMES2:5286

canceled;