Here is an example of derivation of the BGV theorem for an expanding homogeneous isotropic flat universe (in units of speed of light c =1). Which is consistent with ΛCDM model, the current model of cosmology. However, this derivation can be generalized to an arbitrary space-time with no appeal to homogeneity or isotropy.