unrelatedtouserboxes - proof

more about : unrelatedtouserboxes