pertenece cat

textoPlano/punto 9

@@ -1,6 +1,7 @@
 problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
 
 	requiere finalizada (j) == false     // asumimos que se saca a los participantes antes de finalizar la competencia
+	requiere pertenece(cat,j)
 
 
 	modifica j;