Nontriviality of the homotopy groups of the 4-dimensional sphere