>>239
QEDが繰り込み可能なことを証明してくれ