Check done based on "guess" of x=a=3 and y=b=1 and then using procedure to iterate