ホラウルト検証用