>>256
境界作用素もおかしかった
加群の元が積分形式や
つまり微分形式は同時に積分形式でもあるんや