Hver av disse løsningene er konstruert slik at de oppfyller betingelsen som ligger til grunn for resultatet.