>>60
飛んだ事と形式証明が取れなかった事とどんな関係あんの？

要は形式証明が取れないポンコツで売れなかったという事実だけだろ。