どうでもいいが

具体例を示さず「ある」ということだけを示すことを
数学では存在証明と呼びます。
特に珍しいことではありません。