chinese-lazy-theorem-1