theorem :: XPRIMES2:1848

canceled;