#cuentaRegresiva: int -> 
#escribe cuenta regresiva desde n >= 0
#ej: cuentaRegresiva(5) escribe 5, 4, 3, 2, 1
def cuentaRegresiva(n):
    assert type(n)==int and n>=0
    if n > 0:
        print(n)
        cuentaRegresiva(n-1)
    return #opcional