theorem :: XPRIMES2:5608

canceled;