theorem :: XPRIMES2:1018

canceled;