kotzigs_theorem (219B)
1 # Kotzig's theorem 2 3 [Theorem] about the [undirected_graphs] with a unique [perfect_matching] 4 - they have a [bridge] belonging to the [perfect_matching] 5 6 see [szeider2004theorems] 7 8 Up: [theorem] about [perfect_matching]