theorem :: XPRIMES2:6920

canceled;