>>703
記述式解答でない御ママゴト解答を与えるならしこりは残らない。
記述式解答を美しく書くなら、xを求めるのだから、xの取り得る値の集合A⊆Nを求めて
最初に
「A={x∈N|x≡i(mod13)、2≦i≦6、9≦i≦12、8≦x≦124}とおき、
タイルと条件を満たすx∈Nが存在してx∈Aであることを仮定してよい。」
と書くことになる。それから>>675のように続けていくんだよ。
これを書くとき、
果たしていきなりここまで仮定してよいのか？ちょっとやり過ぎじゃありませんかね〜、
となるだろ。