3.2: More Methods of Proof
 Page ID
 7047
Preview Activity 1: Using the Contrapositive
The following statement was proven in Exercise (3c) on page 27 in Section 1.2.
If \(n\) is an odd integer, then \(n^2\) is an odd integer.
Now consider the following proposition:
For each integer \(n\), if \(n^2\) is an odd integer, then \(n\) is an odd integer.
 After examining several examples, decide whether you think this proposition is true or false.
 Try completing the following knowshow table for a direct proof of this proposition. The question is, “Can we perform algebraic manipulations to get from the ‘know’ portion of the table to the ‘show’ portion of the table?” Be careful with this! Remember that we are working with integers and we want to make sure that we can end up with an integer q as stated in Step \(Q\)1.
Step  Know  Reason 

\(P\)  \(n^2\) is an odd integer  Hypothesis 
\(P\)1  \((\forall k \in \mathbb{Z})(n^2 = 2k + 1)\)  Definition of "odd integer" 
...  ...  ... 
\(Q\)1  \((\forall q \in \mathbb{Z})(n = 2k + 1)\)  
\(Q\)  \(n\) is an odd integer.  Definition of "odd integer" 
Step  Show  Reason 
Recall that the contrapositive of the conditional statement \(P \to Q\) is the conditional statement \(\urcorner Q \to \urcorner P\). We have seen in Section 2.2 that the contrapositive of a conditional statement is logically equivalent to the conditional statement. (It might be a good idea to review Preview Activity \(\PageIndex{2}\) from Section 2.2 on page 44.) Consider the following proposition once again:
For each integer \(n\), if \(n^2\) is an odd integer, then \(n\) is an odd integer.
 Write the contrapositive of this conditional statement. Remember that “not odd” means “even.”
 Complete a knowshow table for the contrapositive statement from Part(3).
 By completing the proof in Part (4), have you proven the given proposition? That is, have you proven that if \(n^2\) is an odd integer, then \(n\) is an odd integer? Explain.
Preview Activity 2: A Biconditional Statement
 In Exercise (4a) from Section 2.2, we constructed a truth table to prove that the biconditional statement, \(P \leftrightarrow Q\), is logically equivalent to \(P \to Q) \wedge (Q \to P\). Complete this exercise if you have not already done so.

Suppose that we want to prove a biconditional statement of the form \(P \leftrightarrow Q\). Explain a method for completing this proof based on the logical equivalency in part (1).

Let \(n\) be an integer. Assume that we have completed the proofs of the following two statements:

If n is an odd integer, then n2 is an odd integer.

If n2 is an odd integer, then n is an odd integer.

(See Exercise (3c) from Section 1.2 and Preview Activity \(\PageIndex{1}\).) Have we completed the proof of the following proposition?
For each integer \(n\), \(n\) is an odd integer if and only if \(n^2\) is an odd integer. Explain.
Review of Direct Proofs
In Sections 1.2 and 3.1, we studied direct proofs of mathematical statements. Most of the statements we prove in mathematics are conditional statements that can be written in the form \(P \to Q\). A direct proof of a statement of the form \(P \to Q\) is based on the definition that a conditional statement can only be false when the hypothesis, \(P\), is true and the conclusion, \(Q\), is false. Thus, if the conclusion is true whenever the hypothesis is true, then the conditional statement must be true. So, in a direct proof,
 We start by assuming that \(P\) is true.
 From this assumption, we logically deduce that \(Q\) is true.
We have used the socalled forward and backward method to discover how to logically deduce \(Q\) from the assumption that \(P\) is true.
Proof Using the Contrapositive
As we saw in Preview Activity \(\PageIndex{1}\), it is sometimes difficult to construct a direct proof of a conditional statement. This is one reason we studied logical equivalencies in Section 2.2. Knowing that two expressions are logically equivalent tells us that if we prove one, then we have also proven the other. In fact, once we know the truth value of a statement, then we know the truth value of any other statement that is logically equivalent to it.
One of the most useful logical equivalencies in this regard is that a conditional statement \(P \to Q\) is logically equivalent to its contrapositive, \(\urcorner Q \to \urcorner P\). This means that if we prove the contrapositive of the conditional statement, then we have proven the conditional statement. The following are some important points to remember.
 A conditional statement is logically equivalent to its contrapositive.
 Use a direct proof to prove that \(\urcorner Q \to \urcorner P\) is true.
 Caution: One difficulty with this type of proof is in the formation of correct negations. (We need to be very careful doing this.)
 We might consider using a proof by contrapositive when the statements \(P\) and \(Q\) are stated as negations.
Writing Guidelines
One of the basic rules of writing mathematical proofs is to keep the reader informed. So when we prove a result using the contrapositive, we indicate this within the first few lines of the proof. For example,
 We will prove this theorem by proving its contrapositive.
 We will prove the contrapositive of this statement.
In addition, make sure the reader knows the status of every assertion that you make. That is, make sure you state whether an assertion is an assumption of the theorem, a previously proven result, a wellknown result, or something from the reader’s mathematical background. Following is a completed proof of a statement from Preview Activity \(\PageIndex{1}\).
Theorem 3.7
For each integer \(n\), if \(n^2\) is an even integer, then \(n\) is an even integer.
 Proof

We will prove this result by proving the contrapositive of the statement, which is
For each integer \(n\), if \(n\) is an odd integer, then \(n^2\) is an odd integer.
However, in Theorem 1.8 on page 21, we have already proven that if \(x\) and \(y\) are odd integers, then \(x \cdot y\) is an odd integer. So using \(x = y = n\), we can conclude that if \(n\) is an odd integer, then \(n \cdot n\), or \(n^2\), is an odd integer. We have thus proved the contrapositive of the theorem, and consequently, we have proved that if \(n^2\) is an even integer, then \(n\) is an even integer.
Using Other Logical Equivalencies
As was noted in Section 2.2, there are several different logical equivalencies. Fortunately, there are only a small number that we often use when trying to write proofs, and many of these are listed in Theorem 2.8 at the end of Section 2.2. We will illustrate the use of one of these logical equivalencies with the following proposition:
For all real numbers \(a\) and \(b\), if \(a \ne 0\) and \(b \ne 0\), then \(ab \ne 0\).
First, notice that the hypothesis and the conclusion of the conditional statement are stated in the form of negations. This suggests that we consider the contrapositive. Care must be taken when we negate the hypothesis since it is a conjunction. We use one of De Morgan’s Laws as follows:
\[\urcorner (a \ne 0 \wedge b \ne 0) \equiv (a = 0) \vee (b = 0).\]
Progress Check 3.8 (Using Another Logical Equivalency)
 In English, write the contrapositive of, "For all real numbers \(a\) and \(b\), if \(a \ne 0\) and \(b \ne 0\), then \(ab \ne 0\)."
The contrapositive is a conditional statement in the form \(X \to (Y \vee Z\). The difficulty is that there is not much we can do with the hypothesis \(ab = 0\) since we know nothing else about the real numbers \(a\) and \(b\). However, if we knew that \(a\) was not equal to zero, then we could multiply both sides of the equation \(ab = 0\) by \(\dfrac{1}{a}\). This suggests that we consider using the following logical equivalency based on a result in Theorem 2.8 on page 48:
\[X \to (Y \vee Z) \equiv (X \wedge \urcorner Y) \to Z.\] 
In English, use this logical equivalency, to write a statement that is logically equivalent to the contrapositive from Part (1).
The logical equivalency in Part (2) makes sense because if we are trying to prove \(Y \vee Z\), we only need to prove that at least one of \(Y\) or \(Z\) is true. So the idea is to prove that if \(Y\) is false, then \(Z\) must be true.

Use the ideas presented in the progress check to complete the proof of the following proposition.
Proposition 3.9.
For all real numbers \(a\) and \(b\), if \(a \ne\) and \(b \ne 0\), then \(ab \ne 0\).
 Proof

We will prove the contrapositive of this proposition, which is
For all real numbers \(a\) and \(b\), if \(ab = 0\), then \(a = 0\) or \(b = 0\).
This contrapositive, however, is logically equivalent to the following:
For all real numbers \(a\) and \(b\), if \(ab = 0\) and \(a \ne 0\), then \(b = 0\).
To prove this, we let \(a\) and \(b\) be real numbers and assume that \(ab = 0\) and\(a \ne 0\). We can then multiply both sides of the equation \(ab = 0\) by \(\dfrac{1}{a}\) . This gives
Now complete the proof.
...
Therefore, \(b = 0\). This completes the proof of a statement that is logically equivalent to the contrapositive, and hence, we have proven the proposition.
 Answer

Add texts here. Do not delete this text first.
Proofs of Biconditional Statements
In Preview Activity \(\PageIndex{2}\), we used the following logical equivalency:
\[(P \leftrightarrow Q) \equiv (P \to Q) \wedge (Q \to P).\]
This logical equivalency suggests one method for proving a biconditional statement written in the form “\(P\) if and only if \(Q\).” This method is to construct separate proofs of the two conditional statements \(P \to Q\) and \(Q \to P\). For example, since we have now proven each of the following:
 For each integer \(n\), if \(n\) is an even integer, then \(n^2\) is an even integer. (Exercise (3c) on page 27 in Section 1.2)
 For each integer \(n\), if \(n^2\) is an even integer, then \(n\) is an even integer. (Theorem 3.7)
We can state the following theorem.
Theorem 3.10.
For each integer \(n\), \(n\) is an even integer if and only if \(n^2\) is an even integer.
Writing Guidelines
When proving a biconditional statement using the logical equivalency \((P \leftrightarrow Q) \equiv (P \to Q) \wedge (Q \to P)\), we actually need to prove two conditional statements. The proof of each conditional statement can be considered as one of two parts of the proof of the biconditional statement. Make sure that the start and end of each of these parts is indicated clearly. This is illustrated in the proof of the following proposition.
Proposition 3.11
Let \(x \in \mathbb{R}\). The real number \(x\) equals 2 if and only if \(x^3  2x^2 + x = 2\).
 Proof

We will prove this biconditional statement by proving the following two conditional statements:
 For each real number \(x\), if \(x\) equals 2, then \(x^3  2x^2 + x = 2\).
 For each real number \(x\), if \(x^3  2x^2 + x = 2\), then \(x\) equals 2.
For the first part, we assume \(x = 2\) and prove that \(x^3  2x^2 + x = 2\). We can do this by substituting \(x = 2\) into the expression \(x^3  2x^2 + x\). This gives
\[x^3  2x^2 + x = 2^3  2(2^2) + 2 = 8  8 + 2 = 2\]
This completes the first part of the proof.
For the second part, we assume that \(x^3  2x^2 + x = 2\) and from this assumption, we will prove that \(x = 2\). We will do this by solving this equation for \(x\). To do so, we first rewrite the equation \(x^3  2x^2 + x = 2\) by subtracting 2 from both sides:
\(x^3  2x^2 + x  2 = 0\)
We can now factor the left side of this equation by factoring an \(x\) from the first two terms and then factoring (\(x  2\)) from the resulting two terms. This is shown below.
\(x^3  2x^2 + x  2 = 0\)
\(x^2(x  2) + x  2 = 0\)
\((x  2) (x^2 + 1) = 0\)
Now, in the real numbers, if a product of two factors is equal to zero, then one of the factors must be zero. So this last equation implies that
\(x  2 = 0\) or \(x^2 + 1 = 0\)
The equation \(x^2 + 1 = 0\) has not real numbers solution. So since \(x\) is a real number, the only possibility is that \(x  2 = 0\). From this we can conclude that \(x\) must be equal to 2.
Since we have now proven both conditional statements, we have proven that \(x = 2\) if and only if \(x^3  2x^2 + x = 2\)
Constructive Proofs
We all know how to solve an equation such as \(3x + 8 = 23\), where \(x\) is a real number. To do so, we first add 8 to both sides of the equation and then divide both sides of the resulting equation by 3. Doing so, we obtain the following result:
If \(x\) is a real number and \(3x + 8 = 23\), then \(x = 5\).
Notice that the process of solving the equation actually does not prove that \(x = 5\) is a solution of the equation \(3x + 8 = 23\). This process really shows that if there is a solution, then that solution must be \(x = 5\). To show that this is a solution, we use the process of substituting 5 for \(x\) in the left side of the equation as follows: If \(x = 5\),then
\(3x + 8 = 3 (5) + 8 = 15 + 8 = 23\)
This proves that \(x = 5\) is a solution of the equation \(3x + 8 = 23\). Hence, we have proven that \(x = 5\) is the only real number solution of \(3x + 8 = 23\).
We can use this same process to show that any linear equation has a real number solution. An equation of the form
\[ax + b = c\],
where \(a\), \(b\), and \(c\) are real numbers with \(a \ne 0\), is called a linear equation in one variable.
Proposition 3.12
If \(a\), \(b\), and \(c\) are real numbers with \(a \ne 0\), then the linear equation \(ax + b = c\) has exactly one real number solution, which is \(x = \dfrac{c  b}{a}\).
 Proof
 Assume that \(a\), \(b\), and \(c\) are real numbers with \(a \ne 0\). We can solve the linear equation \(ax + b = c\) by adding \(b\) to both sides of the equation and then dividing both sides of the resulting equation by \(a\) (since \(a \ne 0\), to obtain
 \(x = \dfrac{c  b}{a}\).
 This shows that if there is a solution, then it must be \(x = \dfrac{c  b}{a}\). We also see that if \(x = \dfrac{c  b}{a}\), then,
 \(ax + b = a (\dfrac{c  b}{a}) + b
=(c  b) + b
= c\)
Therefore, the linear equation \(ax + b = c\) has exactly one real number solution and the solution is \(x = \dfrac{c  b}{a}\).
The proof given for Proposition 3.12 is called a constructive proof. This is a technique that is often used to prove a socalled existence theorem. The objective of an existence theorem is to prove that a certain mathematical object exists. That is, the goal is usually to prove a statement of the form
There exists an \(x\) such that \(P(x)\).
For a constructive proof of such a proposition, we actually name, describe, or explain how to construct some object in the universe that makes \(P(x)\) true. This is what we did in Proposition 3.12 since in the proof, we actually proved that \(\dfrac{c  b}{a}\) is a solution of the equation \(ax + b = c\). In fact, we proved that this is the only solution of this equation.
Nonconstructive Proofs
Another type of proof that is often used to prove an existence theorem is the so called nonconstructive proof. For this type of proof, we make an argument that an object in the universal set that makes \(P(x)\) true must exist but we never construct or name the object that makes \(P(x)\) true. The advantage of a constructive proof over a nonconstructive proof is that the constructive proof will yield a procedure or algorithm for obtaining the desired object.
The proof of the Intermediate Value Theorem from calculus is an example of a nonconstructive proof. The Intermediate Value Theorem can be stated as follows:
If \(f\) is a continuous function on the closed interval [\(a\), \(b\)] and if \(q\) is any real number strictly between \(f(a)\) and \(f(b)\), then there exists a number \(c\) in the interval (\(a\), \(b\)) such that \(f(c) = q\).
The Intermediate Value Theorem can be used to prove that a solution to some equations must exist. This is shown in the next example.
Example 3.13 (Using the Intermediate Value Theorem)
Let \(x\) represent a real number. We will use the Intermediate Value Theorem to prove that the equation \(x^3  x + 1 = 0\) has a real number solution.
To investigate solutions of thee quation \(x^3  x + 1 = 0\), we will use the function
\(f(x) = x^3  x + 1 = 0\)
Notice that \(f(2)\) = 5 and that \(f(0)\) > 1. Since \(f(2)\) < 0 and \(f(0\) > 0, the Intermediate Value Theorem tells us that there is a real number \(c\) between 2 and 0 such that \(f(c) = 0\). This means that there exists a real number \(c\) between 2 and 0 such that
\(c^3  c + 1 = 0\),
and hence \(c\) is a real number solution of the equation \(x^3  x + 1 = 0\). This proves that the equation \(x^3  x + 1 = 0\) has at least one real number solution.
Notice that this proof does not tell us how to find the exact value of \(c\). It does, however, suggest a method for approximating the value of \(c\). This can be done by finding smaller and smaller intervals [\(a\), \(b\)] such that \(f(a)\) and \(f(b)\) have opposite signs.
Exercise for section 3.2
 Let \(n\) be an integer. Prove each of the following:
(a) If \(n\) is even, then \(n^3\) is even.
(b) If \(n^3\) is even, then \(n\) is even.
(c) The integer \(n\) is even if and only if \(n^3\) is an even integer.
(d) The integer \(n\) is odd if and only if \(n^3\) is an odd integer.  In Section 3.1, we defined congruence modulo \(n\) where \(n\) is a natural number. If \(a\) and \(b\) are integers, we will use the notation \(a \not\equiv b\) (mod \(n\)) to mean that \(a\) is not congruent to \(b\) modulo \(n\).
(a) Write the contrapositive of the following conditional statement:
For all integers \(a\) and \(b\), if \(a \not\equiv 0\) (mod 6) and \(b \not\equiv 0\) (mod 6), then \(ab \not\equiv 0\) (mod 6).
(b) Is this statement true or false? Explain.  (a) Write the contrapositive of the following statement:
For all positive real numbers \(a\) and \(b\), if \(\sqrt{ab} \ne \dfrac{a + b}{2}\), then \(a \ne b\).
(b) Is this statement true or false? Prove the statement if it is true or provide a counterexample if it is false.  Are the following statements true or false? Justify your conclusions.
(a) For each \(a \in \mathbb{Z}\), if \(a \equiv 2\) (mod 5), then \(a^2 \equiv 4\) (mod 5).
(b) For each \(a \in \mathbb{Z}\), if \(a^2 \equiv 4\) (mod 5), then \(a \equiv 2\) (mod 5).
(c) For each \(a \in \mathbb{Z}\), \(a \equiv 2\) (mod 5) if and only if \(a^2 \equiv 4\) (mod 5).  Is the following proposition true or false?
For all integers \(a\) and \(b\), if \(ab\) is even, then \(a\) is even or \(b\) is even.
Justify your conclusion by writing a proof if the proposition is true or by providing a counterexample if it is false.  Consider the following proposition: For each integer \(a\), \(a \equiv 3\) (mod 7) if and only if \((a^2 + 5a)) \equiv 3\) (mod 7).
(a) Write the proposition as the conjunction of two conditional statements.
(b) Determine if the two conditional statements in Part(a) are true or false. If a conditional statement is true, write a proof, and if it is false, provide a counterexample.
(c) Is the given proposition true or false? Explain.  Consider the following proposition: For each integer \(a\), \(a \equiv 2\) (mod 8) if and only if \((a^2 + 4a) \equiv 4\) (mod 8).
(a) Write the proposition as the conjunction of two conditional statements.
(b) Determine if the two conditional statements in Part(a) are true or false. If a conditional statement is true, write a proof, and if it is false, provide a counterexample.
(c) Is the given proposition true or false? Explain. 
For a right triangle, suppose that the hypotenuse has length \(c\) feet and the lengths of the sides are \(a\) feet and \(b\) feet.
(a) What is a formula for the area of this right triangle? What is an isosceles triangle?
(b) State the Pythagorean Theorem for right triangles.
(c) Prove that the right triangle describe above is an isosceles triangle if and only if the area of the right triangle is \(\dfrac{1}{4}c^2\). 
A real number \(x\) is defined to be a rational number provided
there exist integers \(m\) and \(n\) with \(n \ne 0\) such that \(x = \dfrac{m}{n}\).
A real number that is not a rational number is called an irrational number.It is known that if x is a positive rational number, then there exist positive integers \(m\) and \(n\) with \(n \ne 0\) such that \(x = \dfrac{m}{n}\)
Is the following proposition true or false? Explain.
For each positive real number \(x\), if \(x\) is irrational, then \(\sqrt x\) is irrational. 
Is the following proposition true or false? Justify your conclusion.
For each integer \(n\), \(n\) is even if and only if 4 divides \(n^2\). 
Prove that for each integer \(a\), if \(a^2  1\) is even, then 4 divides \(a^2  1\).

Prove that for all integers \(a\) and \(m\), if \(a\) and \(m\) are the lengths of the sides of a right triangle and \(m + 1\) is the length of the hypotenuse, then \(a\) is an odd integer.

Prove the following proposition:
If \(p\), \(q \in \mathbb{Q}\) with \(p < q\), then there exists an \(x \in \mathbb{Q}\) with \(p < x < q\). 
Are the following propositions true or false? Justify your conclusion.
(a) There exist integers \(x\) and \(y\) such that \(4x + 6y = 2\).
(b) There exist integers \(x\) and \(y\) such that \(6x + 15y = 2\).
(c) There exist integers \(x\) and \(y\) such that \(6x + 15y = 9\). 
Prove that there exists a real number \(x\) such that \(x^3  4x^2 = 7\).

Let \(y_1\), \(y_2\), \(y_3\), \(y_4\) be real numbers. The mean, \(\bar{y}\), of these four numbers is defined to be the sum of the four numbers divided by 4, That is,
\[\bar{y} = \dfrac{y_1 + y_2 + y_3 + y_4}{4}.\]
Prove that there exists a \(y_i\) with \(1 \le i \le 4\) such that \(y_i \ge \bar{y}\).
Hint: One way is to let \(y_{max}\) be the largest of \(y_1\), \(y_2\), \(y_3\), \(y_4\). 
Let \(a\) and \(b\) be natural numbers such that \(a^2 = b^3\). Prove each of the propositions in Parts (6a) trough (6d). (The results of Exercise (1) and Theorem 3.10 may be helpful.)
(a) If \(a\) is even, then 4 divides \(a\).
(b) If 4 divides \(a\), then 4 divides \(b\).
(c) If 4 divides \(b\), then 8 divides \(a\).
(d) If \(a\) is even, then 8 divides \(a\).
(e) Given an example of natural numbers \(a\) and \(b\) such that \(a\) is even and \(a^2 = b^3\), but \(b\) is not divisible by 8. 
Prove the following proposition:
Let \(a\) and \(b\) be integers with \(a \ne 0\). If \(a\) does not divide \(b\), then the equation \(ax^3 + bx + (b + a) = 0\) does not have a solution that is a natural number.
Hint: It may be necessary to factor a sum of cubes. Recall that
\[u^3 + v^3 = (u + v) (u^2  uv + v^2).\] 
Evaluation of Proofs
See the instructions for Excercise (19) on page 100 from Section 3.1.
(a)proposition
If \(m\) is an odd integer, then (\(m + 6\)) is an odd integer.
 Proof

For \(m + 6\) to be an odd integer, there must exist an integer \(n\) such that
\[m + 6 = 2n + 1.\]
By subtracting 6 from both sides of this equation, we obtain
\[m = 2n  6 + 1 = 2 (n  3) = 1.\]
By the closure properties of the integers, (\(n  3\)) is an integer, and hence, the last equation implies that \(m\) is an odd integer. This proves that if \(m\) is an odd integer, then \(m + 6\) is an odd integer.
(b)proposition
For all integers \(m\) and \(n\), if \(mn\) is an even integer, then \(m\) is even or \(n\) is even.
 Proof

For either \(m\) or \(n\) to be even, there exists an integer \(k\) such that \(m = 2k\) or \(n = 2k\). So if we multiply \(m\) and \(n\), the product will contain a factor of 2 and, hence, \(mn\) will be even.
Explorations and Activities
20. Using a Logical Equivalency. Consider the following proposition:
Proposition. For all integers \(a\) and \(b\), if 3 does not divide \(a\) and 3 does not divide \(b\), then 3 does not divide the product \(a \cdot b\).
(a) Notice that the hypothesis of the proposition is stated as a conjunction of two negations (“3 does not divide \(a\) and 3 does not divide \(b\)”). Also, the conclusion is stated as the negation of a sentence (“3 does not divide the product \(a \cdot b\).”). This often indicates that we should consider using a proof of the contrapositive. If we use the symbolic form \((\urcorner Q \wedge \urcorner R) \to \urcorner P\) as a model for this proposition, what is \(P\), what is \(Q\), and what is \(R\)?
(b) Write a symbolic form for the contrapositive of \((\urcorner Q \wedge \urcorner R) \to \urcorner P\) .
(c) Write the contrapositive of the proposition as a conditional statement in English.
We do not yet have all the tools needed to prove the proposition or its contrapositive. However, later in the text, we will learn that the following proposition is true.
Proposition X. Let \(a\) be an integer. If 3 does not divide \(a\), then there exist integers \(x\) and \(y\) such that \(3x + ay = 1\).
(d) i. Find integers \(x\) and \(y\) guaranteed by Proposition X when \(a = 5\).
ii. Find integers \(x\) and \(y\) guaranteed by Proposition X when \(a = 2\).
iii. Find integers \(x\) and \(y\) guaranteed by Proposition X when \(a = 2\).
(e) Assume that Proposition X is true and use it to help construct a proof of the contrapositive of the given proposition. In doing so, you will most likely have to use the logical equivalency \(P \to (Q \vee R) \equiv (P \wedge \urcorner Q) \to R\).
 Answer

Add texts here. Do not delete this text first.