pridane definicie a vety ohladom LE-regex