How do you factor a^3y + 1?