theorem :: XPRIMES2:1587

canceled;