grafos:provaprop3rayless