theorem
  dim (k-chain-space(p)) = rank (k-boundary(p)) + nullity (k-boundary(p))
  by RANKNULL:44;
