properties of expectation with proof