ab+1 = a+c, ac+1 = b+c, abc = bc+1