theorem :: XPRIMES2:1912

canceled;