[formula] What is the proof of of (N–1) + (N–2) + (N–3) + ... + 1= N*(N–1)/2