あみだくじ
数学的には横線が何本あっても、重複することはない。このことは数学的帰納法や背理法で証明できる。