Let K {\displaystyle {}K} be a field, and n ∈ N + {\displaystyle {}n\in \mathbb {N} _{+}} . Show that the set of all square n × n {\displaystyle {}n\times n} -matrices over K {\displaystyle {}K} , with the addition of matrices and with the product of matrices as multiplication, forms a ring.