Verifikační příklad 001017