Theoretical proof by yh99soolee | SimScale