Prove by mde_angelo | SimScale