ref: 374e6e87b1b13492438a2c030edd191cbebe94dc dir: sm2/ger/beweisen.t
beweisen .Bp beweisen to prove/demonstrate sth P bewiesen