This section has moved to 2-5-equivalent-statements.