theorem :: XPRIMES2:4587

canceled;