theorem :: XPRIMES2:1805

canceled;