Universal coefficients theorem