できた…

昨日詰まっていたところが解決。たぶんこれで大丈夫なはず…。
3-√7以上かどうかはわからなかったけれど、
0より真に大きいことは示せてるのでまぁいいのかな。
係数の妙のおかげで、何にも頑張る必要がなくて逆に不安。うまく出来すぎている…。
シンプル過ぎて大丈夫かなという感じ。

今年もう残り2日か…。