>>41
4はまだ明らかとは言えない
4から5は論理的に導き出されるものではない