x \ = \ √ 4 5 y \ + 1 2 5 z, by rutkowski