theorem :: XPRIMES1:1587

canceled;