TVÅ googleplex i 64 lager?

Kan man seriöst bevisa något med hjälp av det eller är det bara som en femtioelva?

Graham's number is commonly celebrated as the largest number ever used in a mathematical proof, although much larger numbers have since claimed this title (such as TREE(3) and SCG(13)).
The smallest Bowersism exceeding Graham's number is corporal,
and the smallest Saibianism exceeding Graham's number is graatagold [short for 'gratuitous golden googol']...

and more of the proof at http://googology.wikia.com/wiki/Graham's_number