>>872
君の頭の中ではすでに型式証明を取得したことになっているのか。
おめでたいのおwww