Los puntos clave no están disponibles para este artículo en este momento.
PhD
Raymond Reiter (Sun,) studied this question.