theorem :: XPRIMES2:1827

canceled;