無限である証明より無限でない証明の方が無限に容易 👴