Summe der ersten n Quadratzahlen CAS Beweis, Steinkellner