theorem :: XPRIMES2:6507

canceled;