It is not mathematically proven, but there are studies that indicate this (e.g Code Complete provides some)
This assumes that the code bases are of similar quality.
This assumes that the code bases are of similar quality.
So... not a proven fact at all. More like a vague correlation with assumptions tacked to the end.