theorem :: XPRIMES2:1909

canceled;