Well.. It seems like it. If you had read about his life, he was an advocate who did maths as a hobby. Every night, he does maths before goes to sleep and then, he came up with this theorem. On the same page he wrote this equation, on the top left corner he wrote "my wife is calling me. I know how to solve it. But, I don't have time!". Who knew? Maybe he was faking it. However, I think he had it.