Given an instance of the Role Mining decision Problem, here is how we transform it to an instance of the Role Mining with Constraints decision Problem: in the Role Mining decision Problem, C is a set of constraints and C is an empty set. Now, the answer to the decision role mining with constraints problem directly provides the answer to the decision role mining problem. The transformation is clearly polynomial. Thus, the theorem holds.