theorem :: XPRIMES2:487

canceled;