定理の書き出しに「1=2ならば」とついている