初校
しょこう first (proofs)