Para este código se tiene: