Lagrange's four-square theorem states that every positive integer can be written as the sum of at most four
squares. Four is one of four
all-Harshad numbers. Each natural number divisible by 4 is a difference of squares of two natural numbers, i.e. 4x=y^{2}-z^{2}. A four-sided plane figure is a
quadrilateral or quadrangle, sometimes also called a
tetragon. It can be further classified as a
rectangle or
oblong,
kite,
rhombus, and
square. Four is the highest degree general
polynomial equation for which there is a
solution in radicals. Four is the only square number N=n\times n where N - 1 is a prime number. The
four-color theorem states that a
planar graph (or, equivalently, a flat
map of two-dimensional regions such as countries) can be colored using four colors, so that adjacent vertices (or regions) are always different colors. Three colors are not, in general, sufficient to guarantee this. The largest planar
complete graph has four vertices. A solid figure with four faces as well as four vertices is a
tetrahedron, which is the smallest possible number of faces and vertices a
polyhedron can have. The regular tetrahedron, also called a 3-
simplex, is the simplest
Platonic solid. It has four
regular triangles as faces that are themselves at
dual positions with the vertices of another tetrahedron. The smallest non-
cyclic group has four elements; it is the
Klein four-group.
A alternating groups are not
simple for values n ≤ 4. There are four
Hopf fibrations of
hyperspheres: \begin{align} S^0 & \hookrightarrow S^1 \to S^1, \\ S^1 & \hookrightarrow S^3 \to S^2, \\ S^3 & \hookrightarrow S^7 \to S^4, \\ S^7 & \hookrightarrow S^{15}\to S^8. \\ \end{align} They are defined as locally trivial
fibrations that map f : S^{2n-1} \rightarrow S^{n} for values of n=2,4,8 (aside from the trivial fibration mapping between two
points and a
circle). In
Knuth's up-arrow notation, 2+2=2\times2=2^{2}=2\uparrow\uparrow 2=2\uparrow\uparrow\uparrow2=\;...\; = 4, and so forth, for any number of up arrows. There are four dimensions in the theory of
Minkowski space, three of space and the one being time. ==List of basic calculations==