Comment by utopcell

> "The problem of the proof was that we knew that FCT was true"

Citation needed.