CR理論なら同接は足し算な?