Declaraciones del ejemplo citado son: