A Note on the Seven Bridges of Königsberg Problem. - Naumowicz, Adam (Formalized Mathematics, 2014)