超準解析を用いると示せてかつ普通の解析だけでは示せない
命題は存在しますか。