theorem :: XPRIMES2:507

canceled;