more lemmas about Fields
A first step towards a field solver