The common marginal trait variance is
For monozygotic pairs, shared genes and shared environment give
For dizygotic pairs, the genetic covariance is halved while the common environment is unchanged:
Subtracting cancels the common-environment variance and proves Falconer's formula
the heritability under the ACE model.