If a map contains a reducible configuration, then the map can be reduced to a smaller map.
Αν ένας χάρτης περιέχει μία μειώσιμη διαμόρφωση, τότε ο χάρτης μπορεί να μειωθεί σε ένα μικρότερο χάρτη.