theorem :: XPRIMES2:1808

canceled;