theorem :: XPRIMES2:2587

canceled;