>>722
逆に言えば、既約分数を避けるような関係式を作れれば、
単射の形になりそう、とは言えるのかも知れないね。

誰か既にやっていないのかな?