Assumptions

Model
M1:  Right Regressors
M2:  Right Functional Form

Regressors
R1:  Fixed Regressors
R2:  Positive Variances
R3:  No Exact Multicollinearity

Errors
E1:  Serial Independence
E2:  Homoskedasticity
E3:  Normally Distributed

Show where this stuff fits into the proof.