👤

1+2+3+...+ n = (n(n + 1))/2 , forall n in N^ * ​