theorem :: XPRIMES2:1068

canceled;