>>396
A⇒Bと等価だよ
「素数は無限個ある」⇔「Pは素数集合である⇒Pは無限集合である」