そんじゃ、どっちがstrongもなく、同値な定理と考えてOK?