第７回 Torus-P(n)-Leaperの分類
前回の続きです。
前回、$${\textrm{Torus-}(a,b)\textrm{-Leaper}}$$が15種類しかないことを確かめました。
命題６.１
$${9\times9}$$の$${\textrm{Torus-}(a,b)\textrm{-Leaper}}$$は下記の15種類である：
$$
\begin{matrix}
L(0,0) & L(0,1) & L(0,2) & L(0,3) & L(0,4) \\
& L(1,1) & L(1,2) & L(
