Attitude controllability of a satellite with flywheels