Bezout's theorem for non-commutative projective spaces