えーと、>>577さんのは違うんですか？

>>578
具体例がないんです。だからここで聞いてみようかと・・。
>>569で書いたことを使った証明問題ならあるんですが。