Linear mapping/Eigenspace as kernel/Fact