日高の証明は失敗。