>>690
It is provable by finding constraints caused by limited precision. Before that, it's just highly likely. Are you even trying to think?

>>691
That depends solely on how you define "river". Food for thought.