theorem :: XPRIMES2:508

canceled;