サラリーマンは素数って話?