If a proof is not in a diagonalizable form, can it be in an almost diagonalizable form? I meant to say it is at most a proof.