theorem :: XPRIMES2:1906

canceled;