S^\infty is contractible