Let D be a weakly
pseudoconvex domain in Cn with C∞-boundary and V be a subvariety in D which
intersects ∂D transversally. If ∂V is nonsingular and consists of strictly pseudoconvex
boundary points of D, then any bounded holomorphic function in V can be extended
to a bounded holomorphic function in D.