Observando las formas de Jordan o las formas canónicas racionales de "A" y "B", puede decidirse inmediatamente si "A" y "B" son semejantes.