Finite Methods as a Ground for Obviousness | Patexia