An analog of the Amitsur–Levitzki theorem for matrix superalgebras

We construct a polynomial identity of degree $2(nk+n+k)-\min\{n,k\}$ for the matrix superalgebra $M_{n,k}$ over a field of characteristic zero. The conjecture is formulated that $M_{n,k}$ lacks any identities of lower degree.