Pin de Tommy Bukti em Matematika history