tests for diagonal property