Mathematical proof of the existance of Grumpy cat