theorem :: XPRIMES2:6012

canceled;