Update and rename aula16.R to kolmogorov.R