Following the methodology of Section 6.4, the SAS in continuous variables -Eqs. ( )-( ) -is substituted into the model equations, i.e., Eqs. ( )- . It is shown in Appendix B that by carrying out this substitution, each equation in the model is satisfied. Thus, for ∆𝜏 → 0, SAS converges to the exact solution and, therefore, consistency is demonstrated. Since the stability of SAS has already been demonstrated, these results allow us to conclude (according to Section 6.4) that SAS is a convergent numerical scheme.