A theorem states that no correction code can implement all the gate operations required for freely programmable computations with the logical quantum bits easily and protected against errors.