Talk:Three distance theorem