How do you factor a3y+1?