theorem :: XPRIMES2:6536

canceled;