Seja  M uma matriz  mxn de entradas reais, tal que o traço do produto de si mesma com sua transposta é zero. A respeito das dimensões da matriz, a quantidade de linhas e colunas com entradas nulas é igual a