「A→Bが証明可能」　⇒　「Aが証明可能⇒Bが証明可能」
だけど、逆は一般には成り立たないことに
なぞらえてるのでは？