( X0 ; 3)