プロ数学者なら援護は無用だろう