theorem :: XPRIMES2:1067

canceled;