Uma versão mais geral do problema é decidir quantas soluções tem a equação: a! = b! c!. Vocês já encontraram uma: a = 10, b = 7, c = 6... Idealmente nós gostaríamos também de conhecer todas as soluções... http://www.mat.puc-rio.br/~nicolau