# Category:Handwaving

These are pages containing proofs that contain handwaving arguments.

See the handwaving template.

## Pages in category "Handwaving"

The following 107 pages are in this category, out of 107 total.

### C

- Cantor-Bernstein-Schröder Theorem
- Cantor-Bernstein-Schröder Theorem/Proof 1
- Cantor-Bernstein-Schröder Theorem/Proof 4
- Cardinality of Infinite Union of Infinite Sets
- Circle Group is Infinite Abelian Group
- Circle Group is Infinite Abelian Group/Proof 2
- Closure of Subset of Metric Space by Convergent Sequence
- Commutativity of Powers in Semigroup
- Complex Roots of Unity in Exponential Form
- Definition:Conditional Preference
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Content of Scalar Multiple
- Continued Fraction Expansion of Irrational Square Root/Example/2
- Continuously Differentiable Curve has Finite Arc Length
- Continuum Property
- Continuum Property/Proof 1
- Continuum Property/Proof 2
- Convergent Sequence with Finite Number of Terms Deleted is Convergent
- Cook-Levin Theorem
- Countably Compact First-Countable Space is Sequentially Compact
- Countably Compact First-Countable Space is Sequentially Compact/Proof 2

### D

### E

### F

### I

### L

- Lagrange's Four Square Theorem
- Lagrange's Four Square Theorem/Proof 2
- Lebesgue Measure is Diffuse
- Lexicographic Order on Products of Well-Ordered Sets
- Limit of Sine of X over X
- Limit of Sine of X over X/Geometric Proof
- Limsup and Liminf are Limits of Bounds
- Linear Combination of Integrals/Definite
- Linear Combination of Integrals/Definite/Proof 2
- Linear Combination of Measures

### N

### P

- Plane contains Infinite Number of Lines
- Polynomials Closed under Addition/Polynomials over Ring
- Polynomials Closed under Ring Product
- Power Function is Strictly Increasing on Positive Elements
- Prim's Algorithm produces Minimum Spanning Tree
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal
- Principal Ideal of Principal Ideal Domain is of Irreducible Element iff Maximal/Reverse Implication
- Probability Generating Function defines Probability Distribution
- Product Space is T3 1/2 iff Factor Spaces are T3 1/2

### R

### S

- Set of Successive Numbers contains Unique Multiple
- Smooth Homotopy is an Equivalence Relation
- Soundness Theorem for Semantic Tableaus
- Definition:Sphere/Topology
- Strictly Positive Real Numbers under Multiplication form Uncountable Abelian Group
- Subgroup of Additive Group of Integers Generated by Two Integers
- Sum of Möbius Function over Divisors/Lemma
- Sum of Reciprocals of Powers as Euler Product
- Sum of Reciprocals of Powers as Euler Product/Proof 2
- Supremum of Product
- Symmetry Rule for Gaussian Binomial Coefficients