hand-wavy formulation of the theorem
definition
relationship with standard error