TY - CHAP PY - 2011 UR - http://hdl.handle.net/10366/91089 PB - Ediciones Universidad Salamanca (España) KW - Demostración(Definición) TI - Demostración ER -