that video isn't about proving anything - it's a pop science channel (but for maths), meant for the laymen.
If I wrote a "how to program" tutorial in which the code did not compile, you would likely berate my inept tutorial. Please allow mathematicians the same grace.
Indeed, I have seen this exactly happen, with a secondary-school student. It took me some time to explain why it's rubbish-at-a-school-level.