田村三郎(数学者)は "k"("k" - 2)/3を超えない最大の整数が、"k" 本の直線で作ることのできる重なり合わない三角形の個数の上界を与えることを証明した。