theorem :: XPRIMES2:5288

canceled;