Proof of a Ruler