projection_suc

[Theorem 5] in the paper is proved