theorem :: XPRIMES2:1881

canceled;