Task: Translation
Input (English): is essentialy saying "If we assume it works for some 
Output (Polish): "Jeśli zakładamy, że S(n) = n(n+1)/2 = 1 + 2 +... n jest poprawne dla niektórych