sancionarTrampososC::Competencia->Competencia
sancionarTrampososC (Finalizar [] [] (C categoria)) = (Finalizar [] [] (C categoria))
sancionarTrampososC (Finalizar a b comp) = sancionarTaux (Finalizar a b comp) (participantesC comp)

sancionarTaux::Competencia->[Atleta]->Competencia
sancionarTaux (Finalizar xs b comp) [] = (Finalizar xs b comp)
sancionarTaux (Finalizar xs b comp) (a:ats) |leDioPositivoC comp a== True = sancionarTaux (Finalizar (sacarElem (ciaNumberA a) xs) b comp) ats
                                            |leDioPositivoC comp a==False = sancionarTaux (Finalizar xs b comp) ats

sacarElem::Eq=> Int->[Int]->[Int]
sacarElem y (x:xs) | x==y = xs
                   | x/=y = x:sacarElem y xs