And besides, I haven't seen any olympiad problems that ask "Find the number of solutions..." instead of the usual "Find all solutions to...", so I doubt this theorem will be used that often.
At sa tabi, hindi ko nakita ang anumang mga problema sa olimpyad na humingi ng "Hanapin ang bilang ng mga solusyon sa..." sa halip ng sa karaniwang "Hanapin ang lahat ng mga solusyon sa mga...", kaya duda ko ito teorama ay gagamitin na madalas.