theorem :: XPRIMES2:6767

canceled;