Ｂが定理Ａと同値であるとき、「Ｂは命題としてＡと同値」というのでしょうか、それとも、「Ｂは定理としてＡと同値」というのでしょうか？