>>97
そのまえに命題をそのまま証明しようとは思わないのか