Equivalence Between Principal Connections on the Frame Bundle and Covariant Derivatives