Pitágoras demostró la existencia de tres categorías de números, que son los llamados perfectos, excesivos e imperfectos?