Boa tarde, será que me pode ajudar? Como devo fazer para usar o Teorema Fundamental da Aritmética para provar um algoritmo?