Appendix In our proofs, we use c, c and kAk