theorem :: XPRIMES2:1907

canceled;