C y P, q tienen r como eje radical (teorema cateto)