(5, 12) の (0, 1) への射影。