这是一整句话而不是逗号后面另起一句的意思，因为“that” 引导了一个宾语从句，这个从句需要包含完整的主谓结构来表达意思，to look good不是一个句子而是一个目的性不定式短语，说明为了“看起来好”，所以需要后面的a proof has to have lots of symbols and almost no English text.去补充