The relation among analytic, differentiable and formal codimension