theorem :: XPRIMES2:1903

canceled;