A geometric preposition that needs to be proved