grafos:provaprop1rayless