la conjetura se ha verificado para valores pequeños de "k".