Finite element computational theory for three-dimensional boundary layer flow