theorem :: XPRIMES2:3587

canceled;