# Category:Proven Results

A proof which invokes the `{{qed}}`

template will automatically be added to this category.

## Pages in category "Proven Results"

The following 200 pages are in this category, out of 17,567 total.

(previous page) (next page)### 0

### 1

- 1 is Limit Point of Sequence in Sierpiński Space
- 1+1 = 2
- 1+1 = 2/Proof 1
- 1+1 = 2/Proof 2
- 1+2+...+n+(n-1)+...+1 = n^2
- 1+2+...+n+(n-1)+...+1 = n^2/Proof 1
- 1+2+...+n+(n-1)+...+1 = n^2/Proof 2
- 1+2+...+n+(n-1)+...+1 = n^2/Proof 3
- 1+2+...+n+(n-1)+...+1 = n^2/Proof 4
- 100 in Golden Mean Number System is Equivalent to 011
- 100 using Digits from 1 to 9
- 1089 Trick
- 11 is Only Palindromic Prime with Even Number of Digits
- 12 times Sigma of 12 equals 14 times Sigma of 14
- 121 is Square Number in All Bases greater than 2
- 123456789 x 8 + 9 = 987654321
- 123456789 x 9 + 10 = 1111111111
- 169 as Sum of up to 155 Squares
- 17 Consecutive Integers each with Common Factor with Product of other 16
- 1782 is 3 Times Sum of all 2-Digit Numbers from its Digits
- User:1is0?

### 2

### 3

### 4

### 5

### A

- A.E. Equal Positive Measurable Functions have Equal Integrals
- User:Abcxyz/Sandbox/Dedekind Completions of Archimedean Ordered Groups
- User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- User:Abcxyz/Sandbox/Real Numbers/Identity for Real Addition
- User:Abcxyz/Sandbox/Real Numbers/Identity for Real Multiplication
- User:Abcxyz/Sandbox/Real Numbers/Inverses for Real Addition
- User:Abcxyz/Sandbox/Real Numbers/Inverses for Real Multiplication
- User:Abcxyz/Sandbox/Real Numbers/Ordering on Real Numbers is Compatible with Addition
- User:Abcxyz/Sandbox/Real Numbers/Ordering on Real Numbers is Total Ordering
- User:Abcxyz/Sandbox/Real Numbers/Real Addition is Associative
- User:Abcxyz/Sandbox/Real Numbers/Real Addition is Closed
- User:Abcxyz/Sandbox/Real Numbers/Real Addition is Commutative
- User:Abcxyz/Sandbox/Real Numbers/Real Multiplication Distributes over Addition
- User:Abcxyz/Sandbox/Real Numbers/Real Multiplication is Associative
- User:Abcxyz/Sandbox/Real Numbers/Real Multiplication is Closed
- User:Abcxyz/Sandbox/Real Numbers/Real Multiplication is Commutative
- User:Abcxyz/Sandbox/Real Numbers/Real Numbers are Dedekind Complete
- Abel's Lemma/Formulation 1
- Abel's Lemma/Formulation 1/Corollary
- Abel's Lemma/Formulation 2
- Abel's Lemma/Formulation 2/Corollary
- Abel's Lemma/Formulation 2/Proof 1
- Abel's Lemma/Formulation 2/Proof 2
- Abel's Theorem
- Abelian Group Factored by Prime
- Abelian Group Factored by Prime/Corollary
- Abelian Group Induces Commutative B-Algebra
- Abelian Group Induces Entropic Structure
- Abelian Group is Simple iff Prime
- Abelian Group of Order Twice Odd has Exactly One Order 2 Element
- Abelian Group of Prime-power Order is Product of Cyclic Groups
- Abelian Group of Prime-power Order is Product of Cyclic Groups/Corollary
- Abelian Group of Semiprime Order is Cyclic
- Abelian Quotient Group
- Abnormal Subgroup is Self-Normalizing Subgroup
- Absolute Difference Function is Primitive Recursive
- Absolute Value Function is Completely Multiplicative
- Absolute Value Function is Completely Multiplicative/Proof 1
- Absolute Value Function is Completely Multiplicative/Proof 2
- Absolute Value Function is Completely Multiplicative/Proof 3
- Absolute Value Function is Completely Multiplicative/Proof 4
- Absolute Value Function is Convex
- Absolute Value Function is Convex/Proof 1
- Absolute Value Function is Convex/Proof 2
- Absolute Value Function on Integers induces Equivalence Relation
- Absolute Value induces Equivalence Compatible with Integer Multiplication
- Absolute Value induces Equivalence not Compatible with Integer Addition
- Absolute Value is Bounded Below by Zero
- Absolute Value is Functional
- Absolute Value is Norm
- Absolute Value of Absolutely Convergent Product is Absolutely Convergent
- Absolute Value of Complex Cross Product is Commutative
- Absolute Value of Complex Cross Product is Commutative/Examples
- Absolute Value of Complex Cross Product is Commutative/Examples/2+5i cross 3-i
- Absolute Value of Complex Dot Product is Commutative
- Absolute Value of Complex Dot Product is Commutative/Examples
- Absolute Value of Complex Dot Product is Commutative/Examples/2+5i dot 3-i
- Absolute Value of Components of Complex Number no greater than Root 2 of Modulus
- Absolute Value of Convergent Infinite Product
- Absolute Value of Definite Integral
- Absolute Value of Divergent Infinite Product
- Absolute Value of Even Power
- Absolute Value of Integer is not less than Divisors
- Absolute Value of Integer is not less than Divisors/Corollary
- Absolute Value of Power
- Talk:Absolute Value of Power
- Absolute Value of Product
- Absolute Value of Product/Proof 1
- Absolute Value of Product/Proof 2
- Absolute Value of Simple Function is Simple Function
- Absolute Value of Simple Function is Simple Function/Proof 1
- Absolute Value of Simple Function is Simple Function/Proof 2
- Absolute Value on Ordered Integral Domain is Strictly Positive except when Zero
- Absolutely Continuous Function is Continuous
- Absolutely Convergent Complex Series/Examples/(z over (1-z))^n
- Absolutely Convergent Generalized Sum Converges
- Absolutely Convergent Product Does not Diverge to Zero
- Absolutely Convergent Product Does not Diverge to Zero/Proof 1
- Absolutely Convergent Product Does not Diverge to Zero/Proof 2
- Absolutely Convergent Product is Convergent
- Absolutely Convergent Series is Convergent
- Absolutely Convergent Series is Convergent/Complex Numbers
- Absolutely Convergent Series is Convergent/Real Numbers
- Absorption Laws (Boolean Algebras)
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Forward Implication
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Proof 1
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Proof 2
- Absorption Laws (Logic)/Conjunction Absorbs Disjunction/Reverse Implication
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Forward Implication
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Proof 1
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Proof 2
- Absorption Laws (Logic)/Disjunction Absorbs Conjunction/Reverse Implication
- Absorption Laws (Set Theory)/Corollary
- Absorption Laws (Set Theory)/Intersection with Union
- Absorption Laws (Set Theory)/Intersection with Union/Proof 1
- Absorption Laws (Set Theory)/Intersection with Union/Proof 2
- Absorption Laws (Set Theory)/Union with Intersection
- Absorption Laws (Set Theory)/Union with Intersection/Proof 1
- Absorption Laws (Set Theory)/Union with Intersection/Proof 2
- Abstract Model of Algebraic Extensions
- Abundancy Index of Product is greater than Abundancy Index of Proper Factors
- Abundancy of Integers in form 945 + 630n
- Acceleration Due to Gravity
- Acceleration is Second Derivative of Displacement with respect to Time
- Acceleration of Rocket in Outer Space
- Acceleration Vector in Polar Coordinates
- Accumulation Point of Infinite Sequence in First-Countable Space is Subsequential Limit
- Accumulation Point of Sequence of Distinct Terms is Omega-Accumulation Point of Range
- Accuracy of Convergents of Continued Fraction Expansion of Irrational Number
- Accuracy of Convergents of Continued Fraction Expansion of Irrational Number/Corollary
- Accuracy of Convergents of Convergent Simple Infinite Continued Fraction
- Action of Group on Coset Space is Group Action
- Action of Inverse of Group Element
- Adding Edge to Tree Creates One Cycle
- Addition is Primitive Recursive
- Addition Law of Probability
- Addition Law of Probability/Proof 1
- Addition Law of Probability/Proof 2
- Addition of 1 in Golden Mean Number System
- Addition of Codewords in Linear Code/Examples/V(2,3)
- Addition of Codewords in Linear Code/Examples/V(3,2)
- Addition of Coordinates on Cartesian Plane under Chebyshev Distance is Continuous Function
- Addition of Coordinates on Euclidean Plane is Continuous Function
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Cancellable
- Addition of Cross-Relation Equivalence Classes on Natural Numbers is Well-Defined
- Addition of Division Products
- Addition of Fractions
- Addition of Linear Transformations
- Addition of Real and Imaginary Parts
- Addition on 1-Based Natural Numbers is Cancellable
- Addition on 1-Based Natural Numbers is Cancellable for Ordering
- Addition on Numbers has no Zero Element
- Addition Rule for Gaussian Binomial Coefficients/Formulation 1
- Addition Rule for Gaussian Binomial Coefficients/Formulation 2
- Additive and Countably Subadditive Function is Countably Additive
- Additive Function is Linear for Rational Factors
- Additive Function is Odd Function
- Additive Function is Strongly Additive
- Additive Function of Zero is Zero
- Additive Function on Empty Set is Zero
- Additive Group and Multiplicative Group of Field are not Isomorphic
- Additive Group of Integers is Countably Infinite Abelian Group
- Additive Group of Integers is Normal Subgroup of Complex
- Additive Group of Integers is Normal Subgroup of Rationals
- Additive Group of Integers is Normal Subgroup of Reals
- Additive Group of Integers is Subgroup of Rationals
- Additive Group of Integers is Subgroup of Reals