;; Autor: <Santiago>
;; fecha de creación: <07-diciembre-2020>
;; contrato: resta2: numero,numero
;; propósito: resta de dos números
;; Ejemplo: (resta 10 9) retorna 1, (resta 5 2) retorna 3
;; definición:
<código>
;;pruebas:
(check-expect (resta 10 9) 1)
(check-expect (resta 5 2) 3)