IsA
補助定理