La-9 攻击机 轰炸机 拉沃契金 Yak-1 冷战 生成树 I-225 Tu-91 Yak-7 循环群 伽罗瓦群 有限域 二战 战斗机 图纸机 Yak Megiddo 不可约多项式 arma 1/72 I-218 试验机 La-7 Kruskal 苏联