"Prop. 6.5(a):  c_2(L_a^d) = "
2*k^2 - (8*m^2)/3 + (2*m^4)/3
"Prop. 6.5(b1):  c_2(K') = "
k + k^2 + m/12 - k*m - m^2/24 - m^3/12 + m^4/24
"Rewrite c_2(L_a^d) as follows:"
k*(1 + k - m) + ((-2 + m)*(-1 + m)*m*(1 + m))/24
"Prop. 6.5(b2):  c_3(L_a^d) = "
-3 - 8*k - 4*k^2 + m/2 - 2*k^2*m - m^2/6 + 2*k*m^2 + 3*m^3 - (2*m^4)/3 - 
 m^5 + m^6/3
"Rewrite c_3(L_a^d) in the form f0(m) + k*f1(k,m):"
-2*k*(2 + k - m)*(2 + m) + 
 ((-2 + m)*(9 + 3*m + 2*m^2 - 8*m^3 - 2*m^4 + 2*m^5))/6
"The formula for  f0(m)  given in the paper:"
-((-3 + m)*(-2 + m))/2 + (-2 + m)*(-1 + m)*m*(1 + m) + 
 ((-3 + m)*(-2 + m)*(-1 + m)*m*(1 + m)*(2 + m))/3
"The difference:"
0