theorem :: XPRIMES2:6587

canceled;