prove

01:17 > 5