grafos:provaprop2rayless