Prove 1 by lemmajasp | SimScale