thus S2 . n is Element of N ; :: thesis: verum