When using proof by generalization, which of the following steps is critical? Question 3 options: Proving the negation of the statement. Choose carefully a specific element from the domain, and prove the statement. Fixing an arbitrary element from the domain and proving the statement for it. Testing the statement for a small set of elements from the domain, as long as the set has at least 2 elements.