Ungerichteter Graph/Homomorphismus/Erste Eigenschaften/Fakt