Mathematician's joke