長年の謎だった9番目の「デデキント数」が32年の探求の末、数学者により発見される