distancia entre granero y casa < 100, tamaño > 2x1

espec/campo.tex

@@ -1,9 +1,10 @@
 \begin{problema}{crearC}{posG, posC: (\ent, \ent)}{Campo}
 	\requiere{posG \neq posC}
 	\requiere{0 \leq prm(posG) \wedge 0 \leq sgd(posG) \wedge 0 \leq prm(posC) \wedge 0 \leq sgd(posC)}
+	\requiere{alcanzablesEn100(posG,posC)}
 	\asegura{contenido(result, prm(posG), sgd(posG))==Granero}
-	\asegura{contenido(result, prm(posC), sgd(posC))==Casa} 
-	\asegura{prm(dimensiones(result))*sgd(dimensiones(result)) > 2 } 
+	\asegura{contenido(result, prm(posC), sgd(posC))==Casa}
+	\asegura{prm(dimensiones(result))*sgd(dimensiones(result)) > 2 }
 \end{problema}
 
 \begin{problema}{dimensionesC}{c: Campo}{(Ancho, Largo)}