Rewrite FCLT proof