Comment by pylua

That had been proven previously ? I guess so has flt, but it will eventually solve an unsolved problem ?