Bézoutʹs theorem for non-commutative projective spaces

We prove a version of Bézoutʹs theorem for non-commutative analogues of the projective spaces image.