Tomando esta simplificación en cuenta, el ejemplo arriba se convierte en: