Yeah, sure: The video came much later. The problem existed the whole time; the proof came at the end. Do you see any sensible reason to assume that the problem

Yeah, sure: The video came much later. The problem existed the whole time; the proof came at the end. Do you see any sensible reason to assume that the problem wasn't the same the whole time?