theorem :: XPRIMES2:3487

canceled;