theorem :: XPRIMES2:6736

canceled;