任意の三角数が3と互いに素であるということは
必ず9で割って1余るということを意味する。
これは証明できますか?