\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Which of the following is the correct first sentence for a direct proof of the statement "For all real numbers \(x\), \(x^2 \ge 0\)"?