>>946
零行列だって対角化可能。