>>61
否定の証明が間違っている、残念ながら。