theorem :: XPRIMES2:6018

canceled;