初学者の俺には何言ってるかわからない・・・
もうちょっとわかりやすくたのむ・・・
strongとそうでないのは、結局、どっちからどっちをも証明できると考えておいてＯＫ？