Habiendo definido las variables como corresponde, el ejemplo de arriba sería: