Ever tried to explain why two chords look the same even though they’re drawn in different places?
So naturally, most of us have stared at a circle in a textbook, traced a couple of lines, and thought, “Those must be equal—but how can I prove it? ”
That’s exactly what Unit 10, Homework 4 is throwing at you: congruent chords and arcs Practical, not theoretical..
Below is the full‑on guide that will walk you through the why, the how, and the pitfalls you’ll hit along the way. Grab a compass, a ruler, and a fresh sheet of paper—let’s make those chords stop being mysterious That's the part that actually makes a difference..
What Is Unit 10 Circles Homework 4: Congruent Chords and Arcs?
In plain English, the assignment asks you to show that two chords (the straight lines that cut a circle) are congruent—meaning they have the same length—and that the arcs (the curved pieces between the chord endpoints) they subtend are also congruent.
You’ll typically get a diagram with two chords, maybe a couple of radii, and a note like “prove ∠A = ∠B” or “show that arc CD = arc EF.” The key is not just to eyeball symmetry; you need a logical chain that uses the properties of circles you’ve already learned: equal radii, central angles, inscribed angles, and the chord‑arc relationship.
The Core Concepts
- Chord – a line segment whose endpoints lie on the circle.
- Arc – the part of the circle’s circumference between two points.
- Congruent – same size and shape; for line segments, that just means equal length.
- Central angle – angle whose vertex is the circle’s center; it intercepts an arc.
- Inscribed angle – angle with its vertex on the circle; it also intercepts an arc but is always half the central angle that subtends the same arc.
These ideas will pop up over and over in the solutions, so keep them handy.
Why It Matters / Why People Care
You might wonder, “Why do I need to prove chords are congruent? I’m never going to use this in real life.”
First, geometry is a training ground for logical thinking. When you can turn a picture into a sequence of statements, you’re sharpening a skill that works in programming, law, even cooking (yes, recipes follow logical steps) That's the part that actually makes a difference..
Second, congruent chords and arcs show up in design and engineering. Think of a gear with evenly spaced teeth—each tooth’s chord must be the same length, otherwise the gear will wobble. Or consider a round table with equally spaced placemats; the arcs between them need to be equal for a balanced look.
Finally, the unit test will probably ask you to apply the same reasoning to a more complex problem, like proving two sectors have equal area. Master this homework, and the rest becomes a lot less intimidating.
How It Works (or How to Do
How It Works (or How to Do the Proof)
-
Identify the given data.
- Which chords are claimed to be congruent?
- Which arcs are supposed to be congruent?
- Are any radii or angles explicitly stated?
-
Translate the geometric facts into algebraic language.
- “Chord AB = chord CD” becomes (AB=CD).
- “Arc AB = arc CD” becomes (\overset{\frown}{AB}=\overset{\frown}{CD}).
-
Choose the right theorem or property.
- Theorem 1 (Equal chords subtend equal angles).
If two chords are congruent, then the central angles they subtend are congruent. - Theorem 2 (Equal angles subtend equal chords).
If two central angles are congruent, the corresponding chords are congruent. - Theorem 3 (Central angle = 2 × Inscribed angle).
This is handy when you’re given an inscribed angle and need to find the central angle that opens the same arc.
- Theorem 1 (Equal chords subtend equal angles).
-
Construct a logical chain.
- Example:
- Given: (\overset{\frown}{AB} = \overset{\frown}{CD}).
- By the chord–arc relationship, the central angles (\angle AOB) and (\angle COD) are congruent.
- By Theorem 2, the chords (AB) and (CD) are congruent.
- Example:
-
Check for hidden assumptions.
- Are the chords in the same circle?
- Does the diagram show the center (O) explicitly?
- Are there any perpendicular bisectors or symmetry lines that can be invoked?
-
Write the formal proof in a clear, step‑by‑step format.
- Use symbols for equality ((=)), congruence ((\cong)), and implication ((\Rightarrow)).
- End each line with a justification: “by definition,” “by theorem X,” or “by construction.”
Sample Problem Walk‑through
Problem: In circle (O), chords (AB) and (CD) are given. Radii (OA) and (OC) are equal, and (\angle AOB = \angle COD). Prove (AB = CD) and (\overset{\frown}{AB} = \overset{\frown}{CD}) Not complicated — just consistent. But it adds up..
| Step | Statement | Justification |
|---|---|---|
| 1 | (OA = OC) | Given |
| 2 | (\angle AOB = \angle COD) | Given |
| 3 | (\triangle AOB \cong \triangle COD) | SAS (two sides and the included angle) |
| 4 | (AB = CD) | CPCTC from step 3 |
| 5 | (\overset{\frown}{AB} = \overset{\frown}{CD}) | Equal chords subtend equal arcs (theorem 1) |
Notice how the proof moves smoothly from the given to the desired conclusion, each leap backed by a solid geometric principle.
Common Pitfalls and How to Avoid Them
| Pitfall | Why It Happens | Fix |
|---|---|---|
| Assuming equal radii implies equal chords automatically. | Radii are equal everywhere; the chord length depends on the subtended angle. | Verify the angles or use the chord–arc relationship. Because of that, |
| **Confusing inscribed and central angles. That's why ** | Both subtend the same arc, but the inscribed angle is half the central angle. | Remember the 2× rule and apply it when switching between the two. |
| Overlooking the need for a common center. | A chord is only defined within a single circle. | Ensure the diagram’s center is the same for all chords in question. |
| Skipping the justification step. | The proof becomes a chain of logical leaps that readers can’t follow. | Write a brief note after each line (“by theorem X”) to make the reasoning explicit. |
A Quick “Cheat Sheet” for Unit 10
| Situation | What to Use | Key Idea |
|---|---|---|
| Two chords are given as equal | Theorem 2 | Equal chords → equal central angles |
| Two central angles are equal | Theorem 1 | Equal angles → equal chords (and arcs) |
| Inscribed angle equals another inscribed angle | Theorem 3 | Same arc subtended → equal chords |
| Arc equality given | Theorem 1 | Equal arcs → equal central angles → equal chords |
These snippets can be mixed and matched depending on the exact wording of your homework prompt.
Wrapping It Up
Proving that chords and arcs are congruent may look like a tedious exercise in copying textbook formulas, but it’s really about seeing the hidden symmetry in a circle and translating that symmetry into a chain of logical statements. Once you master the core theorems—equal chords subtend equal angles, equal angles subtend equal chords, and the central‑inscribed angle relationship—you’ll find that most Unit 10 problems are just a few steps away from a clean, elegant solution The details matter here..
So the next time you see a diagram with two chords and a hint about congruence, remember:
- **Pin down the givens.And **
- Chain the logic.
- So naturally, **
- That's why **Choose the right theorem. **Justify every step.
With practice, those lines will not only satisfy the textbook but also sharpen your overall mathematical reasoning. Good luck, and enjoy the beauty of circles!
Extending the Reasoning to More Complex Configurations
In many textbook problems the two chords you are asked to compare are not drawn side‑by‑side; they might intersect, share an endpoint, or even belong to two different circles that are tangent to each other. The same core ideas still apply, but you have to be a little more strategic about which auxiliary lines to introduce.
1. Intersecting Chords
If chords (AB) and (CD) intersect at a point (E) inside the circle, the Intersecting Chords Theorem tells us
[ AE \cdot EB = CE \cdot ED . ]
While this relation does not directly give chord length equality, it can be combined with the equal‑angle theorems. To give you an idea, suppose you know that (\angle AEB = \angle CED). Because these are vertical angles, they are automatically equal; however, if the problem states that the subtended arcs are equal, you can argue:
- (\angle AEB) and (\angle CED) intercept arcs (\widehat{AB}) and (\widehat{CD}) respectively.
- By the Inscribed‑Angle Theorem, equal arcs imply equal inscribed angles, so (\widehat{AB} = \widehat{CD}).
- Then invoke Theorem 1 (equal arcs → equal chords) to conclude (AB = CD).
Thus, even when chords intersect, the arc–angle–chord chain remains the backbone of the proof Easy to understand, harder to ignore..
2. Chords Sharing an Endpoint
Consider chords (AP) and (AQ) that meet at the circle’s point (A). If the problem tells you that (\angle PAQ) equals some given angle (\theta), you can proceed as follows:
- Draw the radii (OA) and (OP) (or (OQ)), where (O) is the circle’s center.
- Notice that (\triangle OAP) and (\triangle OAQ) are isosceles with legs (OA = OP = OQ).
- The central angles (\angle POA) and (\angle QOA) are each twice the inscribed angles (\angle PAQ) (by the Central–Inscribed Angle Relationship).
- Hence (\angle POA = \angle QOA).
- By Theorem 2 (equal central angles → equal chords), we obtain (AP = AQ).
This method is especially handy when a problem gives you a numeric measure for the angle at the shared endpoint.
3. Chords in Tangent Circles
Sometimes two circles touch each other at a single point (T). In practice, let chord (AB) belong to the first circle and chord (CD) belong to the second, with both chords subtending arcs that meet at (T). The key observation is that the tangency forces the two radii through (T) to be collinear, which in turn aligns the central angles measured from each circle’s center.
Worth pausing on this one.
- Draw the two centers, (O_1) and (O_2), and the common tangent line at (T).
- Because (O_1T) and (O_2T) lie on the same line, the angle (\angle O_1TA) (central to the first circle) is supplementary to (\angle O_2TC) (central to the second).
- If the problem states that the arcs (\widehat{AB}) and (\widehat{CD}) are equal, then the corresponding central angles satisfy (\angle O_1A B = \angle O_2C D).
- Apply Theorem 1 in each circle separately to infer (AB = CD).
Even though the circles are distinct, the “equal‑arc → equal‑chord” logic works independently in each, and the tangency guarantees that the given equality of arcs is meaningful across the two figures.
A Worked‑Out Example with All Three Situations
**Problem.Day to day, it is given that (\widehat{AB} = \widehat{CD}) and (\angle AET = \angle CET). Here's the thing — chords (AB) of (\Gamma_1) and (CD) of (\Gamma_2) intersect at (E). In real terms, ** In the diagram below, circles (\Gamma_1) and (\Gamma_2) are tangent at (T). Prove that (AB = CD).
Solution Sketch.
-
Arc Equality → Central Angles.
Since (\widehat{AB} = \widehat{CD}), the central angles (\angle A O_1 B) and (\angle C O_2 D) are equal (Theorem 1 applied in each circle). -
Equal Central Angles → Equal Chords.
By Theorem 2 (in (\Gamma_1) and (\Gamma_2) separately), the equal central angles give (AB = CD) Still holds up..At this point the proof is complete, but we can also illustrate the role of the intersecting chords.
-
Using the Intersection at (E).
The vertical angles (\angle AET) and (\angle CET) are equal by hypothesis, which means the arcs subtended by (AE) and (CE) are equal. Applying Theorem 1 inside each circle yields (AE = CE) and (TE = TE) (trivial), reinforcing the symmetry of the configuration And it works.. -
Consistency Check.
Because the circles are tangent, the line (O_1O_2) passes through (T). The equal central angles from step 1 are measured about the same line, confirming that the equality of chords does not contradict the geometry of the tangency Which is the point..
Thus, the chain “equal arcs → equal central angles → equal chords” holds even in a fairly layered picture.
Final Checklist for Proving Chord Congruence
| ✅ Item | What to Verify |
|---|---|
| Given arcs or angles | Identify whether the problem supplies arc equality, central‑angle equality, or inscribed‑angle equality. Which means |
| Conclusion | State the final equality of chords explicitly, and, if required, note any additional consequences (e. g. |
| Theorem mapping | Match each piece of information to one of the three core theorems (equal chords ↔ equal central angles ↔ equal arcs). |
| Special configurations | For intersecting or sharing‑endpoint chords, remember the intersecting‑chords product rule and the isosceles‑triangle property of radii. |
| Auxiliary lines | Draw radii to chord endpoints; add diameters or tangents if they simplify the angle relationships. In real terms, |
| Circle(s) involved | Confirm you are working within a single circle or, if two circles appear, that each step is applied in the appropriate circle. |
| Justification | After each algebraic or geometric step, write “(by Theorem X)” to keep the logic transparent. , equal subtended angles). |
Not obvious, but once you see it — you'll see it everywhere Not complicated — just consistent..
Concluding Thoughts
The beauty of circle geometry lies in its tight web of equivalences: arcs, central angles, inscribed angles, and chords are all different faces of the same underlying symmetry. By internalising the three cornerstone theorems and learning how to toggle between them, you turn a seemingly “hard” proof into a straightforward, almost mechanical process.
When you approach a new problem, pause first to catalog the givens—are you handed an arc, an angle, or a chord? Then draw the minimal set of radii that expose the hidden central angles. Finally, run the equivalence chain until you land on the desired chord equality, sprinkling a brief citation after each link.
With this toolkit, Unit 10’s “equal chords” exercises become less about memorising isolated formulas and more about recognizing the elegant, repeatable pattern that circles insist upon. Keep practising with varied diagrams, and soon the proof will feel as natural as tracing a circle itself. Happy solving!
5. When Two Circles Interact
A particularly common source of confusion is the case where the chords in question belong to different circles that touch or intersect. The same three‑step chain still applies, but you must be careful to stay inside the correct circle at each stage.
You'll probably want to bookmark this section Worth keeping that in mind..
5.1 Tangent Circles
Suppose circles ( \Gamma_1(O_1,R_1) ) and ( \Gamma_2(O_2,R_2) ) are externally tangent at (T). Let chord (AB) lie in ( \Gamma_1) and chord (CD) lie in ( \Gamma_2). If the problem tells us that the arcs ( \widehat{AB}) and ( \widehat{CD}) have equal measure, the proof proceeds as follows:
| Step | Reasoning |
|---|---|
| 1 | Because the arcs are equal, the corresponding central angles ( \angle A O_1 B) and ( \angle C O_2 D) are equal (Theorem 1, applied separately in each circle). |
| 2 | In each circle, equal central angles subtend equal chords; therefore (AB = CD) (Theorem 2, again applied in each circle). |
Notice that we never needed the line (O_1O_2) or the point of tangency (T) for the equivalence itself; those elements become useful only when the problem supplies additional information (e.Which means g. , a relationship between the radii) that must be woven into the argument.
5.2 Intersecting Circles
If the circles intersect at points (P) and (Q), the situation is a little richer. Imagine chord (AB) in ( \Gamma_1) and chord (CD) in ( \Gamma_2) such that the inscribed angles ( \angle APB) and ( \angle CPD) are equal. The proof chain now looks like this:
- Inscribed‑angle equality (\Rightarrow) equal arcs in the same circle (Theorem 3). Thus (\widehat{AB} = \widehat{CD}) within their respective circles.
- Equal arcs (\Rightarrow) equal central angles (Theorem 1) in each circle.
- Equal central angles (\Rightarrow) equal chords (Theorem 2). Hence (AB = CD).
Because the two circles share the points (P) and (Q), the inscribed angles are measured from a common vertex, which often makes the equality of the angles evident from the diagram. The rest of the argument follows the familiar single‑circle pattern, just duplicated for each circle That alone is useful..
6. A Quick‑Reference Flowchart
Below is a visual aid you can sketch on the margin of your notebook. Follow the arrows from the information you are given to the statement you need to prove.
[ Given: ] ──► (Arc Equality) ──► (Central‑Angle Equality) ──► (Chord Equality)
│ │ │
▼ ▼ ▼
(Inscribed‑Angle Equality) (Product of Segments)
- Start at the left with whatever the problem supplies (arc, central angle, inscribed angle, or product of segments).
- Move right using the appropriate theorem until you land on “Chord Equality.”
- If you encounter two circles, treat each half of the chain inside its own circle, then combine the results.
7. Common Pitfalls and How to Avoid Them
| Pitfall | Why it Happens | Remedy |
|---|---|---|
| Mixing circles – applying a theorem that belongs to ( \Gamma_1) to a chord in ( \Gamma_2). | The diagram often looks “one big picture,” so it’s easy to forget the circle boundaries. | Explicitly label each circle and write “in ( \Gamma_1)” or “in ( \Gamma_2)” next to every theorem use. |
| Assuming equal arcs without justification – reading “the arcs look the same” from the picture. | Visual symmetry is not a proof. | Look for given angle measures, equal radii, or a statement like “( \widehat{AB} = \widehat{CD}).Which means ” |
| Skipping the central‑angle step – going directly from equal arcs to equal chords. Think about it: | Theorem 2 requires a central angle, not an arc, as its hypothesis. And | Insert the central‑angle equivalence explicitly; it costs only a few words and eliminates a logical gap. Worth adding: |
| Forgetting the intersecting‑chords product rule when a problem involves intersecting chords but no angle information. In practice, | The product rule is sometimes overlooked because it feels “algebraic” rather than “geometric. ” | Whenever two chords intersect, write down (AE·EB = CE·ED) immediately; it often yields the needed equality after a little manipulation. |
This is where a lot of people lose the thread Most people skip this — try not to..
8. Putting It All Together – A Mini‑Project
To cement the concepts, try the following self‑study exercise:
Problem. In circle ( \Gamma) with centre (O), chords (AB) and (CD) intersect at (X). So it is given that (\angle AXC = 40^\circ) and (\angle BXD = 40^\circ). Prove that (AB = CD) Most people skip this — try not to. And it works..
Solution Sketch.
- The two angles are vertical, so they are automatically equal.
- Each angle subtends the arc opposite it: (\angle AXC) subtends (\widehat{ADC}) and (\angle BXD) subtends (\widehat{BAC}). Hence (\widehat{ADC} = \widehat{BAC}).
- By Theorem 1, equal arcs give equal central angles: (\angle AOC = \angle BOD).
- By Theorem 2, those equal central angles give equal chords: (AC = BD).
- Finally, because (X) lies on both chords, the intersecting‑chords theorem tells us (AX·XC = BX·XD). Substituting (AC = BD) into the product relation yields (AB = CD).
Working through this example forces you to employ all three theorems and the product rule, reinforcing the “chain” mentality Simple, but easy to overlook..
Conclusion
The relationship between arcs, angles, and chords in a circle is a tightly knit equivalence class. Once you internalise the trio of core theorems—equal arcs ⇔ equal central angles ⇔ equal chords—the rest of the proof landscape becomes a matter of bookkeeping: identify the circle you’re in, write down the appropriate equivalence, and cite the theorem And that's really what it comes down to. Surprisingly effective..
Remember:
- Start with what you know (arc, angle, or chord).
- Translate it step‑by‑step using the three theorems, never skipping a link.
- Stay circle‑aware when multiple circles appear; treat each circle’s geometry independently.
- Document each inference with a brief “(by Theorem X)” note; this habit prevents hidden gaps and makes grading easier.
With practice, the “equal chords” proof will feel as natural as drawing a radius. The next time you encounter a tangled diagram, you’ll be able to untangle it by following the simple, repeatable pattern outlined above. Happy proving!
9. Common Pitfalls to Avoid
| Pitfall | Why It Happens | How to Fix It |
|---|---|---|
| Assuming the “equal‑arc” step automatically gives the “equal‑angle” step | The arc‑to‑angle rule applies only to central or inscribed angles that subtend the arc, not to arbitrary angles in the diagram. | Before applying the rule, verify that the angle’s vertex lies on the circle (for inscribed angles) or at the centre (for central angles). Consider this: |
| Confusing the chord that is between the arc endpoints with the chord that crosses the arc | In a diagram with intersecting chords, one might mistakenly think the chord connecting the endpoints of the arc is the same as the one passing through an interior point. | Label every chord explicitly. Day to day, if the chord you need is the one that intersects the other chord, write its endpoints accordingly. |
| Using the intersecting‑chords product rule when the chords are tangent | Tangent‑to‑circle segments satisfy a different power‑of‑point relation: the square of the tangent segment equals the product of the external segment and the whole chord. Plus, | If a line touches the circle at a single point, replace (AE·EB = CE·ED) with (AT^2 = PT·QT) where (T) is the tangency point. |
| Over‑relying on the “vertical angles are equal” statement | Vertical angles are always equal, but they do not directly give arc or chord information unless the angles are inscribed or central. | Use the vertical‑angle fact only to establish that two angles subtend the same arc; then invoke the arc‑to‑angle theorem. |
Honestly, this part trips people up more than it should Not complicated — just consistent. But it adds up..
10. A Quick Reference Cheat‑Sheet
| Situation | What to Write First | Theorem to Apply | Result |
|---|---|---|---|
| Arc ↔ Angle (central) | Identify the central angle | Theorem 1 | Equal arcs ⇔ equal central angles |
| Arc ↔ Angle (inscribed) | Identify the inscribed angle | Theorem 1 | Equal arcs ⇔ equal inscribed angles |
| Angle ↔ Chord | Identify the chord subtended by the angle | Theorem 2 | Equal angles ⇔ equal chords |
| Chords ↔ Product | Identify the intersection point | Intersecting‑chords theorem | (AE·EB = CE·ED) |
| Two circles | Identify the common chord or point of intersection | Theorem 3 | Common chord ⇔ equal radii |
Final Thoughts
The elegance of circle geometry lies in its consistency: once you master the three core equivalences—equal arcs, equal angles, and equal chords—every problem becomes a matter of chaining these facts together. The key is to treat each component (arc, angle, chord) as a node in a graph and to move from one node to the next with a proven theorem. Whether you’re tackling a textbook exercise, a contest problem, or a research‑level proof, this systematic approach will keep your reasoning clean and your deductions airtight.
Remember, the proof is just a conversation between the diagram and the theorems. Speak clearly, cite each statement, and let the circle do the rest. Happy proving!
11. Putting It All Together: A Step‑by‑Step Template
-
Identify the given data
- Are you given an arc length, a central or inscribed angle, a chord, or a power‑of‑point relationship?
- Mark the points and label every segment that will appear in the proof.
-
Choose the appropriate equivalence
- If the problem involves angles, start with the angle–arc or angle–chord equivalence.
- If it involves chords, use the chord–angle equivalence.
- If it involves intersections, apply the intersecting‑chords theorem.
-
Write the chain of equalities
- Each step should be a direct consequence of a theorem or a well‑known property (e.g., “equal angles subtend equal arcs”).
- Avoid leaps; if you need to go from an arc to a chord, insert the intermediate angle step.
-
Close the loop
- Once you reach the desired conclusion, double‑check that every equality has a cited justification.
- If you introduced an auxiliary point, show that it does not alter the truth of the statement (often by symmetry or a congruent triangle argument).
-
Reflect on the proof
- Is there a more elegant way?
- Could a different theorem reduce the number of steps?
- For contest problems, a shorter proof often earns extra credit.
Frequently Asked Questions (FAQ)
| Question | Answer |
|---|---|
| **Why do I keep getting “arc AB equals arc CD” but the figure shows different lengths?In real terms, ** | Then you cannot directly equate the arcs. You’ll need an additional step (e.** |
| **Can I use the same theorem for a circle and an ellipse? ** | No. Still, |
| **What if the angles are not subtended by the same chord? And ellipses have different angle–arc relationships. On the flip side, if the circle is not explicitly drawn, assume the arcs lie on the same circle unless stated otherwise. Here's the thing — g. The theorems listed rely on the constant distance property of a circle. , proving the angles are supplementary or using a cyclic quadrilateral). |
Conclusion
Mastering the interplay between arcs, angles, and chords transforms the seemingly involved world of circle geometry into a logical, transparent framework. By treating each element as a node in a network of well‑established theorems, you can work through from one point to another with confidence. The beauty of this approach lies in its universality: whether you’re proving that a pair of opposite angles in a cyclic quadrilateral are equal, showing that two chords intersect at a right angle, or deriving the length of a tangent segment from a power‑of‑point equation, the same set of equivalences is your compass It's one of those things that adds up..
Remember: clarity beats cleverness. Keep the diagram in front of you, label everything, and let the circle’s own symmetry guide your logic. A clean, step‑by‑step proof that cites its sources is far more valuable than a compact argument that leaves a reader guessing the missing link. With practice, the circle will no longer feel like a puzzle but a well‑ordered system where every arc, angle, and chord tells its own story—one that you can read and write with confidence.
Happy proving!
Conclusion
Mastering the interplay between arcs, angles, and chords transforms the seemingly complex world of circle geometry into a logical, transparent framework. Consider this: by treating each element as a node in a network of well‑established theorems, you can handle from one point to another with confidence. The beauty of this approach lies in its universality: whether you’re proving that a pair of opposite angles in a cyclic quadrilateral are equal, showing that two chords intersect at a right angle, or deriving the length of a tangent segment from a power‑of‑point equation, the same set of equivalences is your compass That's the part that actually makes a difference. Simple as that..
Remember: clarity beats cleverness. A clean, step‑by‑step proof that cites its sources is far more valuable than a compact argument that leaves a reader guessing the missing link. Keep the diagram in front of you, label everything, and let the circle’s own symmetry guide your logic. With practice, the circle will no longer feel like a puzzle but a well‑ordered system where every arc, angle, and chord tells its own story—one that you can read and write with confidence Practical, not theoretical..
Happy proving!
