take the Field ; :: thesis: the Field is factorial
thus the Field is factorial ; :: thesis: verum