Una fórmula que relaciona a los números primos con la función parte entera y los números triangulares

El máximo común divisor entre un número primo p y cada uno de los enteros positivos menores que p es igual a 1 y, como el máximo común divisor se relaciona con la función parte entera según una fórmula explícita dada por el matemático brasileño M. Polezzi (1997), entonces se halló una interesante proposición que relaciona los números primos, la función parte entera, los números cuadrados y los números triangulares. Esa proposición sirve como un nuevo test para probar la primalidad de un número.