3 ms·It has been one hour and the proof has 165 pages. Give them some time.by Kotlopou 26d agoIt has been one hour and the proof has 165 pages. Give them some time.