>890
要するに日高の証明が間違っているという意味

よくわかりませんが。