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