ヒント君が一人しかいないことを証明すればいいだけだな。