Rigorous Derivation of the Formula for the Buckling Load in Axially Compressed Circular Cylindrical Shells