×冪単であるべき単である冪単であるべきたんである<べき'たん>　で　ある

Math.unipotent sein