>>390
しかも主翼は形式証明に必要な強度を満たしてなくて再設計