Doct. seminar 1. 12.: Isomorphism of graphs of bounded valence can be tested in polynomial time