Algorithm and proof test