theorem :: XPRIMES2:5587

canceled;