This definition coincides with the above definition of K0(P).
この定義は、K0(P) の上記の定義と同値である。