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