theorem :: XPRIMES2:1487

canceled;