>>295
トートロジーの意味です。

>>299
「命題として同値」とは聞くのですが、「定理として同値」とは未だに聞かず、そのような形容は使われるのか疑問に思ってお訊ねしました。