結局、反論がないので、数学板では
>>566と書くのはありという結論になりました。