theorem :: XPRIMES2:6017

canceled;