F1 proof by kvan_zelst | SimScale