This is an interesting solution.

I'd hazard to say that it's probably not the solution the author had in mind, so bonus points for novelty!

How would you prove it correct though?