sketch proof of first assertion