Did I say x==15 ??? Does x have to be 15 to suppose it's a hard problem?

Please note those "checks" in the referenced article were done with a computer and not with pure mathematical proving! And this computer wasn't build "65 years" ago!

Better find another problem this one is a boomerang. 8)