theory-control-check-resuelto.pdf