[obm-l] Provar que raiz de 2 não é racional.

[Rodrigo Assis]

Pessoal não estou conseguindo resolver. O problema pede que seja feito
através do Teorema Fundamental da Aritmética. Já tentei 2 vezes e nada...