text: Граф тривиально является факторграфом самого себя (каждый блок разбиения является отдельной вершиной), а граф, состоящий из отдельной точки является факторграфом любого непустого графа (разбиение состоит из блока, содержащего все вершины).