z transpose kz is greater than or equal to zero, and this is one of the standard definitions of a matrix, the matrix k being posisemidefinite when a matrix k is posisemidefinite, that is, k is equal to zero.