The argument assumes Euclidean space with determinate places; non-standard geometries may allow mult...
This proposition has not been edited since the history system was added.