A finite Larmor radius approximation is rigourously derived from the Vlasov equation, in the limit of large (and uniform) external magnetic field. Existence and uniqueness of a solution is proven in the stationary frame.