Talk:Three-distance theorem