素数判定がPである事を示した教授と学生がいる大学か