中山記念
１着５番：X＝５ Y＝１４
５x≡１４ (mod １７)
解 X＝９８＋１７K
すなわち、K＝１の場合の合同である１１５（mod １７）＝１３が持つ関数関係について考えます。
■合同式から考える証明定理ー６－
中山記念の１着馬番号は５
一方上記、X軸５、Y軸１４を合同式とした解はX＝１３です。
ここで１３を出馬表の馬番号で確認するとその起点である１３番は１１着です。
そして起点→写像、つまりY軸（馬名表）の１３番が存在している上（出馬表の馬番号）は１６番、その着順は８着です。
更に前項でお話しましたX軸（出馬表の馬番号）の負の値、つまりー１３を考えると
１７－１３＝４ （合同による値）
その４番は６着、そして４番をY軸（馬名表）に持つX軸の馬番号は１１番、その着順は２着となります。
この関係を整理すると
起点：１３番（１１着）→写像１６番（８着）
起点：－１３番：４番（６着）→写像１１番（２着）
１着５番が持つX軸とY軸の値（X＝５：Y＝１４）を合同式により求めた解（１３）は、その負の値によって起点→写像の一組で２着１１番を示す関数関係が成立しています。
そしてこの値は純粋な数学的解として、誰でも同じ値を導く事が可能です。
