a^4 - ab^3 = I