Geometry proof, lost and need it explained please A rational number of the form $\frac{a}{2^{n}}$ (with $a,n$ integers) is called dyadic. In the interpretation, restrict to those points which have dyadic coordinates and to those lines which pass through several dyadic points. The incidence axioms, the first three betweenness axioms, and the line seperation property all hold in this dyadic rational plane; show that Pasch's theorem fails. (Hint: The lines $3x+y=1$ and $y=0$ do not meet in this plane.)

Outline: Consider the triangle with vertices $(0,0)$, $(1,0)$, and $(0,3)$. The line $3x+y=1$ meets one side of this triangle at $(0,1)$, but does not meet another side of this triangle.
