An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints