Archivo:Irracionalidad de sqrt2.svg