>256
証明の1行目でrの定義すら書かずに

r=z-xです。