theorem :: XPRIMES2:6923

canceled;