that is to say every matrix satisfies its own typical polynomial