A: added proof A2.2b
A2.2b: Unfinish proof of second direction