problema 29........separado del resto

1er post(eze)

29.problema actual(r:Reproductor)=result:Tema{
requiere prm(estado(r))!=0;
asegura Incluido(result,archivos(r));//Pero como aseguro que es el actual?
}//Considero que si está en un número distinto de 0 es porque está reproduciendo un archivo, por lo que no tengo que requerir que archivos(r)!=[ ]?

2do post (mariano)

29.problema actual(r:Reproductor)=result:Tema{
requiere prm(estado(r))!=0;
asegura Incluido(result,archivos(r));//Pero como aseguro que es el actual?
}//Considero que si está en un número distinto de 0 es porque está reproduciendo un archivo, por lo que no tengo que requerir que archivos(r)!=[ ]?
// 


3er post (eze)

29.problema actual(r:Reproductor)=result:Tema{
requiere prm(estado(r))!=0;
asegura pertenece(result,temas(archivos(r)));//Pero como aseguro que es el actual?
}//Considero que si está en un número distinto de 0 es porque está reproduciendo un archivo, por lo que no tengo que requerir que archivos(r)!=[ ]?