Feltételezve, hogy a(z) dobner kifejezés kötelező, és illés kifejezés kötelező, a következő eredmény található.