Define random vectors and prove some  basic stuff about them