User:Ascii/Theorems

The following are the $1000$ most linked to theorems (or axioms) as of 21st September 2019:

Pages in the Definition namespace and the Proven Results category were used.

They are also in descending order (that is, Principle of Mathematical Induction is more linked to than Proof by Contradiction):


 * 1) Principle of Mathematical Induction
 * 2) Proof by Contradiction
 * 3) Principle of Mathematical Induction
 * 4) Principle of Mathematical Induction
 * 5) Linear Combination of Integrals
 * 6) Integration by Substitution
 * 7) Principle of Mathematical Induction
 * 8) Primitive of Power
 * 9) Sigma Function of Integer
 * 10) Integration by Parts
 * 11) Primitive of Constant Multiple of Function
 * 12) Power Rule for Derivatives
 * 13) Difference of Two Squares
 * 14) Method of Truth Tables
 * 15) Sum of Squares of Sine and Cosine
 * 16) Tau Function from Prime Decomposition
 * 17) Chain Rule for Derivatives
 * 18) Derivative of Power
 * 19) Rule of Transposition
 * 20) Subset Relation is Transitive
 * 21) Binomial Theorem
 * 22) Proof by Counterexample
 * 23) Sum of Geometric Progression
 * 24) Sum of Infinite Geometric Progression
 * 25) Primitive of Reciprocal
 * 26) Intersection is Subset
 * 27) Primitive of Constant
 * 28) Set is Subset of Union
 * 29) Secant is Reciprocal of Cosine
 * 30) Axiom:Axiom of Choice
 * 31) Second Principle of Mathematical Induction
 * 32) Euler's Formula
 * 33) Tangent is Sine divided by Cosine
 * 34) Closed Form for Triangular Numbers
 * 35) Solution to Quadratic Equation
 * 36) Derivative of Exponential Function
 * 37) Exponential of Zero
 * 38) Primitive of Function of Constant Multiple
 * 39) Pythagoras's Theorem
 * 40) Difference of Logarithms
 * 41) Proof by Cases
 * 42) Well-Ordering Principle
 * 43) Cosine of Zero is One
 * 44) Exponential of Sum
 * 45) Intersection Distributes over Union
 * 46) Intersection with Subset is Subset
 * 47) Division Theorem
 * 48) Lagrange's Theorem (Group Theory)
 * 49) Euclidean Algorithm
 * 50) Equality of Mappings
 * 51) Two-Step Subgroup Test
 * 52) Axiom:Euclid's Second Postulate/Production
 * 53) Derivative of Sine Function
 * 54) Cosine Exponential Formulation
 * 55) Set is Closed iff Equals Topological Closure
 * 56) Triangle Inequality
 * 57) Cosecant is Reciprocal of Sine
 * 58) Law of Excluded Middle
 * 59) Derivative of Identity Function
 * 60) Relative Complement of Relative Complement
 * 61) Euler Phi Function of Integer
 * 62) Sine of Integer Multiple of Pi
 * 63) Derivative of Cosine Function
 * 64) Real Number Line is Metric Space
 * 65) Pascal's Rule
 * 66) Translation of Index Variable of Summation
 * 67) Sine Function is Odd
 * 68) Fundamental Theorem of Calculus
 * 69) Derivative of Constant
 * 70) De Moivre's Formula
 * 71) Sine Exponential Formulation
 * 72) Logarithm of Power
 * 73) Gamma Difference Equation
 * 74) Sigma Function of Non-Square Semiprime
 * 75) Primitive of Reciprocal of x squared plus a squared
 * 76) Cosine Function is Even
 * 77) Sine of Zero is Zero
 * 78) Cosine of Integer Multiple of Pi
 * 79) Derivative of Natural Logarithm Function
 * 80) Separation of Variables
 * 81) Sum of Squares of Sine and Cosine/Corollary 1
 * 82) Intersection is Largest Subset
 * 83) Solution to Quadratic Equation/Real Coefficients
 * 84) Union is Smallest Superset
 * 85) Product Rule for Derivatives
 * 86) Principle of Recursive Definition
 * 87) Double Angle Formulas/Sine
 * 88) Countable Union of Countable Sets is Countable
 * 89) Squeeze Theorem
 * 90) Axiom:Axiomatization of 1-Based Natural Numbers
 * 91) Integers form Integral Domain
 * 92) Sigma Function of Square-Free Integer
 * 93) Triangle Inequality/Real Numbers
 * 94) Primitive of Function under its Derivative
 * 95) Derivative of Monotone Function
 * 96) Primitive of Exponential of a x
 * 97) Set is Subset of Itself
 * 98) One-Step Subgroup Test
 * 99) Archimedean Principle
 * 100) Triangle Side-Angle-Side Equality
 * 101) Difference of Squares of Hyperbolic Cosine and Sine
 * 102) Exponential Tends to Zero and Infinity
 * 103) Primitive of Cosine Function/Corollary
 * 104) Subgroup of Abelian Group is Normal
 * 105) Composition of Mappings is Associative
 * 106) Square of Sum
 * 107) Empty Set is Subset of All Sets
 * 108) Cotangent is Cosine divided by Sine
 * 109) Solution of Constant Coefficient Homogeneous LSOODE
 * 110) Fubini's Theorem
 * 111) Euclid's Lemma
 * 112) Sum of Angles of Triangle equals Two Right Angles
 * 113) Gamma Function Extends Factorial
 * 114) Image of Subset under Mapping is Subset of Image
 * 115) Supremum of Subset
 * 116) Complex Modulus of Product of Complex Numbers
 * 117) Continuum Property
 * 118) Real Multiplication Distributes over Addition
 * 119) Meet Precedes Operands
 * 120) Sine of Sum
 * 121) Sine of Right Angle
 * 122) Union with Empty Set
 * 123) Subring Test
 * 124) Opposite Sides and Angles of Parallelogram are Equal
 * 125) Subset Relation is Ordering
 * 126) Basis Representation Theorem
 * 127) General Solution of Linear 2nd Order ODE from Homogeneous 2nd Order ODE and Particular Solution
 * 128) Transfinite Induction/Schema 2
 * 129) Euler Phi Function of Square-Free Integer
 * 130) Construction of Parallel Line
 * 131) Cancellation Laws
 * 132) Product Rule
 * 133) Cosine of Sum
 * 134) Set is Subset of its Topological Closure
 * 135) Derivative of Inverse Function
 * 136) Fundamental Theorem of Arithmetic
 * 137) Roots of Complex Number
 * 138) Axiom:Euclid's Common Notions
 * 139) Numbers whose Sigma is Square
 * 140) Primitive of Reciprocal of a x + b
 * 141) Derivative of Function of Constant Multiple
 * 142) Set Union Preserves Subsets
 * 143) Subset of Finite Set is Finite
 * 144) Square of Difference
 * 145) Composite of Injections is Injection
 * 146) Inverse of Group Product
 * 147) Sum of Logarithms
 * 148) Sine and Cosine are Periodic on Reals
 * 149) Primitive of Sine Function/Corollary
 * 150) Quotient Rule for Derivatives
 * 151) Natural Logarithm of 1 is 0
 * 152) Intersection is Commutative
 * 153) Area of Triangle in Terms of Side and Altitude
 * 154) Composite of Continuous Mappings is Continuous
 * 155) Prime Group is Cyclic
 * 156) Power Series Expansion for Exponential Function
 * 157) Solution to Exact Differential Equation
 * 158) Cosine of Complement equals Sine
 * 159) Sequence of Powers of Number less than One
 * 160) Sequence of Powers of Reciprocals is Null Sequence
 * 161) Fundamental Theorem on Equivalence Relations
 * 162) Derivative of Sine Function/Corollary
 * 163) Fourth Sylow Theorem
 * 164) Square of Real Number is Non-Negative
 * 165) Set Difference is Subset
 * 166) Exponent Combination Laws
 * 167) Derivative of Constant Multiple
 * 168) Composite of Bijections is Bijection
 * 169) Symmetry Rule for Binomial Coefficients
 * 170) Equality of Ordered Pairs
 * 171) Fermat's Little Theorem
 * 172) Linear Combination of Laplace Transforms
 * 173) Real Number Ordering is Compatible with Multiplication
 * 174) Logarithm of Reciprocal
 * 175) Cosine of Right Angle
 * 176) Union is Commutative
 * 177) Cyclic Group is Abelian
 * 178) Congruence of Powers
 * 179) Ordering of Reciprocals
 * 180) Two Linearly Independent Solutions of Homogeneous Linear Second Order ODE generate General Solution
 * 181) Combination Theorem for Limits of Functions/Product Rule
 * 182) Mean Value Theorem
 * 183) Zorn's Lemma
 * 184) Intersection with Subset is Subset?
 * 185) Axiom:Euclid's First Postulate
 * 186) Rational Numbers are Countably Infinite
 * 187) Dual Pairs (Order Theory)
 * 188) Axiom:Axiom of Countable Choice
 * 189) Cardinality of Set of Subsets
 * 190) Numbers such that Tau divides Phi divides Sigma
 * 191) Fifth Sylow Theorem
 * 192) Transfinite Induction/Schema 2
 * 193) Transfinite Induction/Schema 2
 * 194) Transfinite Induction/Schema 2
 * 195) Squeeze Theorem/Sequences/Real Numbers
 * 196) Image of Subset under Relation is Subset of Image
 * 197) Topological Closure is Closed
 * 198) Set is Subset of Union/General Result
 * 199) Sine of Complement equals Cosine
 * 200) L'Hôpital's Rule
 * 201) Isosceles Triangle has Two Equal Angles
 * 202) Empty Intersection iff Subset of Complement
 * 203) Restriction of Mapping to Image is Surjection
 * 204) Axiom:Axiom of Extension
 * 205) Intersection of Subgroups is Subgroup
 * 206) Change of Base of Logarithm
 * 207) Basis for Partition Topology
 * 208) Complex Plane is Metric Space
 * 209) First Sylow Theorem
 * 210) Derivative of Cosine Function/Corollary
 * 211) Triangle Inequality/Complex Numbers
 * 212) Ordinal Membership is Trichotomy
 * 213) Transitive Set is Proper Subset of Ordinal iff Element of Ordinal
 * 214) Injection to Image is Bijection
 * 215) Monotone Convergence Theorem (Real Analysis)
 * 216) Between two Real Numbers exists Rational Number
 * 217) Equality of Ratios is Transitive
 * 218) Intersection with Empty Set
 * 219) Order of Element Divides Order of Finite Group
 * 220) Intersection with Complement is Empty iff Subset
 * 221) Ring Product with Zero
 * 222) Set Difference as Intersection with Complement
 * 223) Principle of Finite Induction
 * 224) Metric Induces Topology
 * 225) Modulus in Terms of Conjugate
 * 226) Union is Idempotent
 * 227) Solution of Linear Diophantine Equation
 * 228) Bijection iff Inverse is Bijection
 * 229) Real Addition is Commutative
 * 230) Semiperfect Number is not Deficient
 * 231) Laplace Transform of Exponential
 * 232) Double Angle Formulas/Cosine
 * 233) Sine of Complex Number
 * 234) Sine of 45 Degrees
 * 235) Cosine of 45 Degrees
 * 236) Set Intersection Preserves Subsets
 * 237) Orbit-Stabilizer Theorem
 * 238) Gamma Function of One Half
 * 239) Union with Relative Complement
 * 240) Inverse of Group Inverse
 * 241) Sylow p-Subgroup is Unique iff Normal
 * 242) Axiom:Axiom of Foundation
 * 243) Identity Mapping is Bijection
 * 244) Logarithm is Strictly Increasing
 * 245) Modus Ponendo Ponens
 * 246) Triangle Side-Side-Side Equality
 * 247) Laplace Transform of Derivative
 * 248) De Polignac's Formula
 * 249) Solution to Linear First Order Ordinary Differential Equation/Solution by Integrating Factor
 * 250) Hyperbolic Cosine in terms of Cosine
 * 251) T2 Space is T1 Space
 * 252) Linear Combination of Derivatives
 * 253) Union with Superset is Superset
 * 254) Construction of Equal Straight Lines from Unequal
 * 255) Euclid's Lemma for Prime Divisors
 * 256) Preceding and Way Below implies Way Below
 * 257) Identity is Only Group Element of Order 1
 * 258) Variance as Expectation of Square minus Square of Expectation
 * 259) Powers of Group Elements
 * 260) Intersection is Associative
 * 261) Union is Associative
 * 262) Complex Multiplication is Commutative
 * 263) Group has Latin Square Property
 * 264) Identity is Unique
 * 265) Intersection is Idempotent
 * 266) Group Homomorphism Preserves Identity
 * 267) Binomial Coefficient with Zero
 * 268) Inverse of Strictly Monotone Function
 * 269) Bézout's Lemma
 * 270) Identity of Subgroup
 * 271) Double Angle Formulas/Hyperbolic Sine
 * 272) Completing the Square
 * 273) Derivative of Tangent Function
 * 274) Power Series is Termwise Integrable within Radius of Convergence
 * 275) Secant of Conjugate Angle
 * 276) Tangent of Conjugate Angle
 * 277) Complement of Complement
 * 278) Bisection of Straight Line
 * 279) Particular Solution to Homogeneous Linear Second Order ODE gives rise to Another
 * 280) Definite Integral of Even Function
 * 281) Set Difference with Self is Empty Set
 * 282) Join Succeeds Operands
 * 283) Cartesian Product of Countable Sets is Countable
 * 284) Natural Number Addition is Commutative
 * 285) Comparison Test
 * 286) Cardinality of Empty Set
 * 287) Surjection iff Right Inverse
 * 288) Real Multiplication is Commutative
 * 289) Axiom:Peano's Axioms
 * 290) Solutions of Pythagorean Equation
 * 291) Cartesian Product is Empty iff Factor is Empty
 * 292) Convergent Sequence is Cauchy Sequence
 * 293) Hyperbolic Cosecant of Complex Number
 * 294) Hyperbolic Secant of Complex Number
 * 295) Laplace Transform of Sine
 * 296) Primitive of Exponential Function
 * 297) Sum of Squares of Hyperbolic Secant and Tangent
 * 298) Difference of Two Powers
 * 299) Product with Ring Negative
 * 300) Cosecant of Complex Number
 * 301) Cotangent of Conjugate Angle
 * 302) Sine of Conjugate Angle
 * 303) Cosine of Conjugate Angle
 * 304) Secant of Complex Number
 * 305) Cosine of Complex Number
 * 306) Cosecant of Conjugate Angle
 * 307) Residue Theorem
 * 308) Exponent Combination Laws/Product of Powers
 * 309) Continuous Image of Compact Space is Compact
 * 310) Union is Smallest Superset/General Result
 * 311) Sum of Sequence of Squares
 * 312) Supremum of Singleton
 * 313) Combination Theorem for Sequences
 * 314) Set Difference Intersection with Second Set is Empty Set
 * 315) Intersection is Subset/General Result
 * 316) Primitive of Reciprocal of Root of a squared minus x squared
 * 317) De Morgan's Laws (Set Theory)/Relative Complement/Complement of Intersection
 * 318) Infimum of Subset
 * 319) Parallelism implies Equal Alternate Interior Angles
 * 320) Structure Induced by Ring Operations is Ring
 * 321) Exponential of Natural Logarithm
 * 322) Sine of Half-Integer Multiple of Pi
 * 323) Euler's Identity
 * 324) Complex Roots of Unity/Examples/Cube Roots
 * 325) Newton's Laws of Motion/Second Law
 * 326) Diagonal Relation is Equivalence
 * 327) Real Number Line is Complete Metric Space
 * 328) Definition:Zermelo-Fraenkel Axioms
 * 329) Primitive of Reciprocal of x squared minus a squared/Logarithm Form
 * 330) Primitive of Hyperbolic Sine of a x
 * 331) Hyperbolic Cosine of Complex Number
 * 332) Hyperbolic Sine of Complex Number
 * 333) Laplace Transform of Cosine
 * 334) Derivative of Hyperbolic Sine Function
 * 335) Way Below implies Preceding
 * 336) Symmetric Group on 3 Letters
 * 337) Euler's Formula/Corollary
 * 338) Cosine of 30 Degrees
 * 339) De Morgan's Laws (Set Theory)/Set Difference/General Case/Difference with Union
 * 340) Prime not Divisor implies Coprime
 * 341) Common Divisor Divides Integer Combination
 * 342) Constant Function is Primitive Recursive
 * 343) Set in Discrete Topology is Clopen
 * 344) Compact Subspace of Hausdorff Space is Closed
 * 345) Binomial Theorem/General Binomial Theorem
 * 346) Linearity of Expectation Function
 * 347) Summation is Linear
 * 348) T1 Space is T0 Space
 * 349) Integral of Constant
 * 350) Construction of Equal Angle
 * 351) Sigma Function of Prime Number
 * 352) Two Angles on Straight Line make Two Right Angles
 * 353) Combination Theorem for Limits of Functions/Sum Rule
 * 354) Subgroup of Index 2 is Normal
 * 355) Negative of Absolute Value
 * 356) Taylor's Theorem
 * 357) Shape of Sine Function
 * 358) Complex Numbers form Field
 * 359) Set Equivalence is Equivalence Relation
 * 360) Principle of Non-Contradiction
 * 361) Primitive of Hyperbolic Cosine of a x
 * 362) Test for Ideal
 * 363) Moment in terms of Moment Generating Function
 * 364) Left Cosets are Equal iff Product with Inverse in Subgroup
 * 365) Multiplication of Numbers Distributes over Addition
 * 366) Membership is Left Compatible with Ordinal Multiplication
 * 367) Derivative of Hyperbolic Cosine Function
 * 368) Exponent Combination Laws/Negative Power
 * 369) Derivative of Composite Function
 * 370) Primitive of Exponential of a x by Sine of b x
 * 371) Hyperbolic Sine in terms of Sine
 * 372) Exponential of Sum/Complex Numbers
 * 373) Limit of Subsequence equals Limit of Sequence/Real Numbers
 * 374) Image of Subset under Relation is Subset of Image/Corollary 3
 * 375) Form of Geometric Progression of Integers
 * 376) Sine of 30 Degrees
 * 377) T5 Space is T4 Space
 * 378) Subset of Countably Infinite Set is Countable
 * 379) Second Principle of Mathematical Induction
 * 380) Second Principle of Mathematical Induction
 * 381) Condition for Point being in Closure
 * 382) Set Intersection Preserves Subsets/Corollary
 * 383) Properties of Norm on Division Ring/Norm of Negative
 * 384) Tangent Function is Odd
 * 385) Integral of Constant/Definite
 * 386) Negated Upper Index of Binomial Coefficient
 * 387) De Morgan's Laws (Set Theory)/Set Difference/Difference with Intersection
 * 388) Absolute Value of Integer is not less than Divisors
 * 389) Axiom:Axiom of Replacement
 * 390) Sine of Angle plus Right Angle
 * 391) Integer Multiplication is Commutative
 * 392) Derivative at Maximum or Minimum
 * 393) Kernel is Normal Subgroup of Domain
 * 394) Field is Integral Domain
 * 395) Square Root of 2 is Irrational
 * 396) Shape of Cosine Function
 * 397) Solution to Homogeneous Differential Equation
 * 398) Harmonic Series is Divergent
 * 399) Duality Principle (Order Theory)
 * 400) Surjection from Natural Numbers iff Countable
 * 401) Well-Ordering Theorem
 * 402) Smallest Element is Unique
 * 403) Primitive of Square of Secant of a x
 * 404) Primitive of Reciprocal of x by Root of x squared minus a squared
 * 405) Primitive of Hyperbolic Tangent of a x
 * 406) Hyperbolic Cotangent of Complex Number
 * 407) Primitive of x over x squared plus a squared
 * 408) Factors of Binomial Coefficient
 * 409) Euler Phi Function of 2 times Odd Prime
 * 410) Period of Complex Exponential Function
 * 411) Preceding iff Meet equals Less Operand
 * 412) Derivative of Arcsecant Function/Corollary 1
 * 413) Derivative of Arctangent Function
 * 414) Primitive of Square of Sine of a x
 * 415) Excluded Point Topology is Open Extension Topology of Discrete Topology
 * 416) Cotangent of Complex Number
 * 417) Cosine of Angle plus Right Angle
 * 418) Derivative of Arctangent Function/Corollary
 * 419) Derivatives of Function of a x + b
 * 420) Euler Phi Function of Prime
 * 421) Integer Divisor Results/One Divides all Integers
 * 422) Cosine of Three Right Angles
 * 423) Sine of Straight Angle
 * 424) Preimage of Intersection under Mapping
 * 425) De Morgan's Laws (Set Theory)/Set Difference/General Case/Difference with Intersection
 * 426) Metric Space is Hausdorff
 * 427) Combination Theorem for Limits of Functions/Multiple Rule
 * 428) Restriction of Commutative Operation is Commutative
 * 429) Composite of Surjections is Surjection
 * 430) Cardinality of Set Union
 * 431) Cardinality of Cartesian Product
 * 432) Subset implies Cardinal Inequality
 * 433) Set Complement inverts Subsets
 * 434) Set is Subset of Union/Family of Sets
 * 435) Brahmagupta-Fibonacci Identity
 * 436) Exponential is Strictly Increasing
 * 437) Construction of Perpendicular Line
 * 438) Translation of Index Variable of Product
 * 439) Combination Theorem for Limits of Functions
 * 440) Sum of Squares of Sine and Cosine/Corollary 2
 * 441) Inverse of Algebraic Structure Isomorphism is Isomorphism
 * 442) Tangent Exponential Formulation
 * 443) Sigma Function of Power of Prime
 * 444) Absolute Value Function is Completely Multiplicative
 * 445) Sequence of Implications of Separation Axioms
 * 446) Stirling's Formula
 * 447) Triangles with Two Equal Angles are Similar
 * 448) Set Difference as Intersection with Relative Complement
 * 449) Ordering on Ordinal is Subset Relation
 * 450) Trichotomy Law (Ordering)
 * 451) Empty Set is Element of Topology
 * 452) Open Sets in Real Number Line
 * 453) Set is Open iff Neighborhood of all its Points
 * 454) Rule of Commutation
 * 455) Real Numbers form Field
 * 456) Complex Multiplication is Associative
 * 457) Integer Multiplication is Associative
 * 458) Natural Number Multiplication is Commutative
 * 459) Reverse Triangle Inequality
 * 460) Meet Semilattice is Ordered Structure
 * 461) Identity Mapping is Right Identity
 * 462) Divisor Relation on Positive Integers is Partial Ordering
 * 463) Rule of Material Implication
 * 464) Complex Number equals Conjugate iff Wholly Real
 * 465) Boundary is Intersection of Closure with Closure of Complement
 * 466) Inverse of Bijection is Bijection
 * 467) Composite of Bijection with Inverse is Identity Mapping
 * 468) Roots of Complex Number/Corollary
 * 469) Primitive of Reciprocal of a x + b squared
 * 470) Primitive of Square of Hyperbolic Cosecant of a x
 * 471) Primitive of Square of Cosecant of a x
 * 472) Restriction of Associative Operation is Associative
 * 473) Hyperbolic Tangent of Complex Number
 * 474) Extended Transitivity
 * 475) Euler-Binet Formula
 * 476) Dual of Dual Statement (Order Theory)
 * 477) Product of Ring Negatives
 * 478) Union of Subsets is Subset
 * 479) Ratio Test
 * 480) Derivative of Arccotangent Function/Corollary
 * 481) Derivative of Arccosine Function/Corollary
 * 482) Derivative of Arcsine Function/Corollary
 * 483) Derivative of Arccosecant Function/Corollary
 * 484) Basis for Discrete Topology
 * 485) Symmetric Group on 3 Letters/Cayley Table
 * 486) Sine of Three Right Angles
 * 487) Tangent of Complex Number
 * 488) Secant of Angle plus Right Angle
 * 489) Cotangent Exponential Formulation
 * 490) Reciprocal Function is Strictly Decreasing
 * 491) Projection from Product Topology is Continuous
 * 492) Areas of Triangles and Parallelograms Proportional to Base
 * 493)
 * 494) Sine of 60 Degrees
 * 495) Cosine of 60 Degrees
 * 496) Cosine of Straight Angle
 * 497) Cosine of Sum/Corollary
 * 498) Combination Theorem for Sequences/Real/Sum Rule
 * 499) Integral of Power
 * 500) Second Principle of Mathematical Induction
 * 501) Infimum of Singleton
 * 502) Sum of Integrals on Adjacent Intervals for Integrable Functions
 * 503) Combination Theorem for Sequences/Real/Multiple Rule
 * 504) Determinant of Transpose
 * 505) Set Difference Union Intersection
 * 506) Pigeonhole Principle
 * 507) Relation between Two Ordinals
 * 508) Restriction of Injection is Injection
 * 509) Subsemigroup Closure Test
 * 510) Integers Divided by GCD are Coprime
 * 511) Closure of Finite Union equals Union of Closures
 * 512) Topological Closure of Subset is Subset of Topological Closure
 * 513) Closed Subspace of Compact Space is Compact
 * 514) Complement of Interior equals Closure of Complement
 * 515) Heine-Borel Theorem
 * 516) Intermediate Value Theorem
 * 517) Proof by Contraposition
 * 518) Cosine of Half-Integer Multiple of Pi
 * 519) Singleton of Element is Subset
 * 520) Triangle with Two Equal Angles is Isosceles
 * 521) First Isomorphism Theorem/Groups
 * 522) Integer Combination of Coprime Integers
 * 523) Metric Space fulfils all Separation Axioms
 * 524) Real Multiplication Identity is One
 * 525) Epimorphism Preserves Identity
 * 526) Lower and Upper Bounds for Sequences
 * 527) Union Distributes over Intersection
 * 528) Parallelism implies Equal Corresponding Angles
 * 529) Limit of Sine of X over X
 * 530) Riemann Zeta Function at Even Integers
 * 531) Two Straight Lines make Equal Opposite Angles
 * 532) Equivalence of Definitions of Normal Subgroup
 * 533) Real Multiplication is Associative
 * 534) Second Principle of Finite Induction
 * 535) Rationals are Everywhere Dense in Reals
 * 536) Identity Mapping is Left Identity
 * 537) Equation of Straight Line in Plane
 * 538) Axiom:Axiom of Powers
 * 539) Euclid's Theorem
 * 540) Axiom:Axiom of Pairing
 * 541) Convergent Sequence in Metric Space is Bounded
 * 542) Equivalence of Definitions of Reflexive Relation
 * 543) Continuous Function is Riemann Integrable
 * 544) Bijection iff Left and Right Inverse
 * 545) Primitive of Square of Hyperbolic Secant of a x
 * 546) Primitive of Function of Root of a x + b
 * 547) Primitive of Composite Function
 * 548) Primitive of Hyperbolic Cotangent of a x
 * 549) Primitive of Reciprocal of Root of x squared minus a squared/Logarithm Form
 * 550) Sine of Sum/Corollary
 * 551) Motion of Cart attached to Wall by Spring under Damping/Problem Definition
 * 552) Reciprocal of Strictly Positive Real Number is Strictly Positive
 * 553) Weierstrass Substitution
 * 554) Hyperbolic Sine Function is Odd
 * 555) GCD from Prime Decomposition
 * 556) Primitive of x by Exponential of a x
 * 557) Isomorphism Theorems
 * 558) Sylow Theorems
 * 559) Real Polynomial Function is Continuous
 * 560) Path-Connected Space is Connected
 * 561) Double Angle Formulas/Hyperbolic Cosine
 * 562) Membership is Left Compatible with Ordinal Addition
 * 563) Group Homomorphism Preserves Inverses
 * 564) Dihedral Group D4/Matrix Representation/Formulation 2/Cayley Table
 * 565) Derivative of Laplace Transform
 * 566) Derivative of Hyperbolic Tangent Function
 * 567) Series of Power over Factorial Converges
 * 568) Derivative of Arcsine Function
 * 569) Difference of Squares of Hyperbolic Cotangent and Cosecant
 * 570) Derivative of Hyperbolic Cotangent Function
 * 571) Residue at Simple Pole
 * 572) De Morgan's Laws (Predicate Logic)
 * 573) Powers of Group Elements/Sum of Indices
 * 574) Cotangent of Angle plus Right Angle
 * 575) Sum of Two Sides of Triangle Greater than Third Side
 * 576) Real Number is Integer iff equals Floor
 * 577) Geometrical Interpretation of Complex Subtraction
 * 578) Surjection if Composite is Surjection
 * 579) Product of Complex Numbers in Polar Form
 * 580) Exponent Combination Laws/Power of Product
 * 581) Geometrical Interpretation of Complex Addition
 * 582) True Statement is implied by Every Statement
 * 583) Compact Space is Countably Compact
 * 584) Integer Multiplication Distributes over Addition
 * 585) Sum Rule for Derivatives
 * 586) De Morgan's Laws (Logic)/Disjunction of Negations
 * 587) Sum of Sequence of Cubes
 * 588) Equation of Circle in Complex Plane
 * 589) Supremum of Suprema
 * 590) Derivative of Exponential Function/Corollary 1
 * 591) Determinant of Matrix Product
 * 592) Set of Integers Bounded Below by Integer has Smallest Element
 * 593) Signum Function is Primitive Recursive
 * 594) Sigma-Algebra Closed under Finite Intersection
 * 595) Principle of Structural Induction
 * 596) Finite Union of Finite Sets is Finite
 * 597) Cantor-Bernstein-Schröder Theorem
 * 598) Axiom:Axiom of Dependent Choice
 * 599) Natural Number Addition is Associative
 * 600) Degree of Product of Polynomials over Ring/Corollary 2
 * 601) Cosine of Angle plus Full Angle
 * 602) Power Reduction Formulas/Sine Squared
 * 603) Cosecant of Supplementary Angle
 * 604) Product of GCD and LCM
 * 605) Set Difference and Intersection form Partition
 * 606) Relative Sizes of Definite Integrals
 * 607) Axiom of Subsets Equivalents
 * 608) Union of Singleton
 * 609) Basel Problem
 * 610) Properties of Restriction of Relation?
 * 611) Quotient Group is Group
 * 612) Cardinality of Power Set of Finite Set
 * 613) Natural Numbers are Non-Negative Integers
 * 614) General Periodicity Property
 * 615) Rule of Idempotence
 * 616) Axiom:Euclid's Second Postulate
 * 617) Inverse in Monoid is Unique
 * 618) Subset Relation on Power Set is Partial Ordering
 * 619) Compactness Theorem
 * 620) Real Numbers form Totally Ordered Field
 * 621) Ring of Integers Modulo Prime is Field
 * 622) Cardinality of Set of All Mappings
 * 623) Distance Formula
 * 624) Axiom:Leibniz's Law
 * 625) Rule of Idempotence/Disjunction/Formulation 2/Reverse Implication
 * 626) Rule of Commutation/Disjunction/Formulation 2/Forward Implication
 * 627) Rule of Addition/Sequent Form/Formulation 2/Form 2
 * 628) Equivalence of Definitions of Compact Topological Space
 * 629) Equation of Circle
 * 630) Cauchy's Mean Theorem
 * 631) Modulo Addition is Well-Defined
 * 632) Complex Addition is Associative
 * 633) Real Numbers form Ordered Integral Domain
 * 634) Primitive of Reciprocal of a x squared plus b x plus c
 * 635) Primitive of Function of a x + b
 * 636) Primitive of Power of Secant of a x
 * 637) Sigma Function is Multiplicative
 * 638) Intersection with Set Difference is Set Difference with Intersection
 * 639) Laplace Transform of Exponential times Function
 * 640) Natural Number Multiplication Distributes over Addition
 * 641) Identity Element is Idempotent
 * 642) LCM from Prime Decomposition
 * 643) Primitive of x by Sine of a x
 * 644) Primitive of x squared by Cosine of a x
 * 645) Group Action on Sets with k Elements
 * 646) First Supplement to Law of Quadratic Reciprocity
 * 647) Exponential of Real Number is Strictly Positive
 * 648) Inverse of Order Isomorphism is Order Isomorphism
 * 649) Unsigned Stirling Number of the First Kind of 0
 * 650) Integer Divisor Results/Integer Divides Itself
 * 651) Polynomial Factor Theorem
 * 652) Hyperbolic Sine of Sum
 * 653) Hyperbolic Cosine of Sum
 * 654) Open Ball is Neighborhood of all Points Inside
 * 655) False Statement implies Every Statement
 * 656) Square Modulo 4
 * 657) Difference between Two Squares equal to Repunit
 * 658) Derivative of Inverse Hyperbolic Cotangent of x over a
 * 659) Derivative of Inverse Hyperbolic Tangent of x over a
 * 660) Derivative of Inverse Hyperbolic Sine of x over a
 * 661) Derivative of Hyperbolic Secant Function
 * 662) Fundamental Theorem of Calculus/First Part/Corollary
 * 663) Triangle Inequality for Contour Integrals
 * 664) Primitive of Exponential of a x by Cosine of b x
 * 665) Primitive of Square of Cosine of a x
 * 666) Tangent of Sum
 * 667) Square of Golden Mean equals One plus Golden Mean
 * 668) Trigonometric Functions in terms of each other
 * 669) Cosecant Exponential Formulation
 * 670) Tangent of Angle plus Right Angle
 * 671) Sine of 15 Degrees
 * 672) Contour Integral of Concatenation of Contours
 * 673) Strictly Monotone Real Function is Bijective
 * 674) Epimorphism Preserves Commutativity
 * 675) Codomain of Composite Relation
 * 676) Domain of Composite Relation
 * 677) Continuity Defined from Closed Sets
 * 678) Intersection Distributes over Union/General Result
 * 679) Finite Topological Space is Compact
 * 680) Rational Numbers form Field
 * 681) Substitutivity of Equality
 * 682) Interior of Closed Real Interval is Open Real Interval
 * 683) Solution of Linear Congruence
 * 684) Union is Smallest Superset/Family of Sets
 * 685) Properties of Ordered Ring
 * 686) Properties of Norm on Division Ring/Norm of Inverse
 * 687) Product of Complex Conjugates
 * 688) Fibonacci Number in terms of Smaller Fibonacci Numbers
 * 689) Cardinality of Subset of Finite Set
 * 690) Identity Mapping is Injection
 * 691) Half Angle Formulas/Cosine
 * 692) De Morgan's Laws (Set Theory)/Relative Complement/Complement of Union
 * 693) Inverse of Identity Element is Itself
 * 694) Union of Finite Sets is Finite
 * 695) Zero Choose n
 * 696) Strictly Monotone Mapping with Totally Ordered Domain is Injective
 * 697) Inverse of Many-to-One Relation is One-to-Many
 * 698) Primitive of x by Cosine of a x
 * 699) Sine of Angle plus Full Angle
 * 700) Identity Mapping is Surjection
 * 701) Hyperbolic Tangent in terms of Tangent
 * 702) Cosine of Supplementary Angle
 * 703) Magnitudes with Same Ratios are Equal
 * 704) Power Series Expansion for Logarithm of 1 + x
 * 705) Infimum of Upper Closure of Element
 * 706) Relative Complement with Self is Empty Set
 * 707) Addition is Primitive Recursive
 * 708) Double Angle Formulas/Cosine/Corollary 1
 * 709) Binomial Theorem/Integral Index
 * 710) Equality is Transitive
 * 711) Axiom:Axiom of Specification
 * 712) Particular Values of Stirling Numbers of the Second Kind
 * 713) Particular Values of Unsigned Stirling Numbers of the First Kind
 * 714) Elementary Properties of Probability Measure
 * 715) Number of Permutations
 * 716) Open Ball is Open Set
 * 717) Theorem of Even Perfect Numbers
 * 718) Measure is Finitely Additive Function
 * 719) Injection iff Left Inverse
 * 720) Internal Direct Product Theorem
 * 721) Axiom:Axiom of Infinity
 * 722) Factorial/Examples
 * 723) Dihedral Group/Group Presentation
 * 724) Factor Principles/Disjunction on Left/Formulation 2
 * 725) Russell's Paradox
 * 726) Real Numbers are Uncountable
 * 727) Real Numbers under Addition form Abelian Group
 * 728) Group equals Center iff Abelian
 * 729) Acceleration Due to Gravity
 * 730) Unsigned Stirling Number of the First Kind of 1
 * 731) Set is Subset of Union/Set of Sets
 * 732) Method of Variation of Parameters
 * 733) Primitive of Hyperbolic Cosecant of a x
 * 734) Primitive of Cotangent of a x
 * 735) Primitive of Function of Arcsine
 * 736) Primitive of x over Root of a squared minus x squared
 * 737) Modus Tollendo Tollens
 * 738) Laplace Transform of Positive Integer Power
 * 739) Left Coset Space forms Partition
 * 740) Real Number Ordering is Compatible with Addition
 * 741) Zero Wronskian of Solutions of Homogeneous Linear Second Order ODE iff Linearly Dependent
 * 742) Unsigned Stirling Number of the First Kind of Number with Self
 * 743) Half Angle Formulas/Sine
 * 744) Matrix Multiplication is Associative
 * 745) Ring of Integers is Principal Ideal Domain
 * 746) Primitive of Reciprocal of x by a x + b
 * 747) Primitive of x over x squared minus a squared
 * 748) Order of Real Numbers is Dual of Order of their Negatives
 * 749) Euler Phi Function of Non-Square Semiprime
 * 750) Division Theorem for Polynomial Forms over Field
 * 751) Triple Angle Formulas/Sine
 * 752) Set Difference with Union is Set Difference
 * 753) Epimorphism Preserves Semigroups
 * 754) Index Laws for Monoids/Sum of Indices
 * 755) Double Angle Formulas/Cosine/Corollary 2
 * 756) Powers of Group Elements/Product of Indices
 * 757) Differentiable Function is Continuous
 * 758) Derivative of Inverse Hyperbolic Cosine of x over a
 * 759) Derivative of Hyperbolic Cosecant Function
 * 760) Zero Derivative implies Constant Function
 * 761) Derivative of Secant Function
 * 762) De Morgan's Laws (Predicate Logic)/Denial of Existence
 * 763) Linear Combination of Integrals/Definite
 * 764) Reversal of Limits of Definite Integral
 * 765) Exponent Combination Laws/Power of Power
 * 766) Cosine of 15 Degrees
 * 767) Hyperbolic Cosine Function is Even
 * 768) Sine of Angle plus Straight Angle
 * 769) Cosine in terms of Hyperbolic Cosine
 * 770) Sine in terms of Hyperbolic Sine
 * 771) Secant Exponential Formulation
 * 772) Upper Closure is Upper Set
 * 773) Construction of Square on Given Straight Line
 * 774) Euler Phi Function of Prime Power/Corollary
 * 775) Power of Conjugate equals Conjugate of Power
 * 776) Equality of Ratios Ex Aequali
 * 777) Modulus of Limit
 * 778) Limit of Function by Convergent Sequences
 * 779) Combination Theorem for Limits of Functions/Quotient Rule
 * 780) De Morgan's Laws (Set Theory)/Set Complement/Complement of Intersection
 * 781) Lower Closure is Lower Set
 * 782) Indexed Union Subset
 * 783) Intersection with Relative Complement is Empty
 * 784) No Membership Loops
 * 785) Subgroup of Abelian Group is Abelian
 * 786) Finding Center of Circle
 * 787) Sequence of Powers of Reciprocals is Null Sequence/Corollary
 * 788) Properties of Norm on Division Ring/Norm of Unity
 * 789) Negative of Absolute Value/Corollary 1
 * 790) Bolzano-Weierstrass Theorem
 * 791) Composite of Homomorphisms is Homomorphism/Algebraic Structure
 * 792) Fibonacci Number with Negative Index
 * 793) Cassini's Identity
 * 794) Image of Union under Mapping
 * 795) Set Difference with Superset is Empty Set
 * 796) Injection if Composite is Injection
 * 797) Topology Defined by Closed Sets
 * 798) Closed Set in Topological Subspace
 * 799) Subset of Domain is Subset of Preimage of Image
 * 800) Dot Product Operator is Commutative
 * 801) Inclusion-Exclusion Principle
 * 802) Binomial Coefficient with One
 * 803) Tangent of Zero
 * 804) Parallel Line in Triangle Cuts Sides Proportionally
 * 805) Modulus of Complex Integral
 * 806) Uniform Limit of Analytic Functions is Analytic
 * 807) First Isomorphism Theorem/Rings
 * 808) Integer Addition is Commutative
 * 809) Mediant is Between
 * 810) Expectation of Function of Discrete Random Variable
 * 811) Equal Alternate Interior Angles implies Parallel Lines
 * 812) Equivalence of Definitions of Symmetric Relation
 * 813) Hypothetical Syllogism
 * 814) Equiangular Triangles are Similar
 * 815) Axiom:Axiom of Unions
 * 816) Maximal Ideal iff Quotient Ring is Field
 * 817) P-adic Norm is Non-Archimedean Norm
 * 818) Basic Results about Modules
 * 819) Image is Subset of Codomain
 * 820) Equivalence of Definitions of Isometry of Metric Spaces
 * 821) Shape of Tangent Function
 * 822) Equivalence of Definitions of T1 Space
 * 823) Greatest Element is Unique
 * 824) Rational Numbers form Metric Space
 * 825) Dihedral Group D4/Group Presentation
 * 826) Rule of Implication
 * 827) Cotangent of Complement equals Tangent
 * 828) Cotangent is Reciprocal of Tangent
 * 829) Shape of Cotangent Function
 * 830) Reparameterization of Directed Smooth Curve Maps Endpoints To Endpoints
 * 831) Equivalence of Definitions of Connected Topological Space
 * 832) Area of Circle
 * 833) Principle of Finite Choice
 * 834) Korselt's Theorem
 * 835) Cancellable Elements of Semigroup form Subsemigroup
 * 836) Bézout's Identity
 * 837) Equivalence of Definitions of Analytic Basis
 * 838) General Associativity Theorem
 * 839) Cosine Formula for Dot Product
 * 840) Integers under Addition form Abelian Group
 * 841) Identity Element of Addition on Numbers
 * 842) Rule of Association
 * 843) Square of Small-Digit Palindromic Number is Palindromic
 * 844) Stirling Number of the Second Kind of 1
 * 845) Solution of Second Order Differential Equation with Missing Independent Variable
 * 846) Solution of Second Order Differential Equation with Missing Dependent Variable
 * 847) Schanuel's Conjecture
 * 848) Primitive of x over Root of x squared minus a squared
 * 849) Primitive of Square of Hyperbolic Cotangent of a x
 * 850) Primitive of Square of Hyperbolic Tangent of a x
 * 851) Reduction Formula for Primitive of Power of x by Power of a x + b/Increment of Power of x
 * 852) Primitive of Power of a x + b over Power of p x + q/Formulation 3
 * 853) Primitive of x over a squared minus x squared
 * 854) Primitive of x over Root of x squared plus a squared
 * 855) Primitive of Power of Hyperbolic Secant of a x
 * 856) Primitive of Power of Hyperbolic Cosecant of a x
 * 857) Primitive of Power of Cosecant of a x
 * 858) Primitive of Tangent Function
 * 859) Power Reduction Formulas/Hyperbolic Cosine Squared
 * 860) Orthogonal Trajectories of One-Parameter Family of Curves
 * 861) Harmonic Mean of Divisors in terms of Tau and Sigma
 * 862) Closure of Subset of Metric Space by Convergent Sequence
 * 863) Singleton is Directed and Filtered Subset
 * 864) Magic Square/Examples/Order 3
 * 865) Supremum of Lower Closure of Set
 * 866) Hyperbolic Tangent Function is Odd
 * 867) Principle of Mathematical Induction/Naturally Ordered Semigroup
 * 868) Homomorphism with Identity Preserves Inverses
 * 869) Power of Product of Commutative Elements in Group
 * 870) Reflexive Reduction of Relation Compatible with Group Operation is Compatible
 * 871) Inverse in Group is Unique
 * 872) Union of Limit Ordinal
 * 873) Inverse of Strictly Increasing Strictly Concave Real Function is Strictly Convex
 * 874) Indexed Union Equality
 * 875) Expectation of Discrete Random Variable from PGF
 * 876) Set Difference with Empty Set is Self
 * 877) Equivalence of Definitions of Well-Ordering/Definition 1 implies Definition 2
 * 878) Definite Integral on Zero Interval
 * 879) Subset Product within Semigroup is Associative/Corollary
 * 880) Rule of Conjunction
 * 881) Triple Angle Formulas/Cosine
 * 882) Empty Set is Element of Power Set
 * 883) Duality Principle (Order Theory)/Global Duality
 * 884) Power Reduction Formulas/Cosine Squared
 * 885) Praeclarum Theorema
 * 886) Inverse of Inverse of Bijection
 * 887) Derivative of Inverse Hyperbolic Cosecant of x over a
 * 888) Faà di Bruno's Formula
 * 889) Euler's Reflection Formula
 * 890) Definite Integral of Partial Derivative
 * 891) Set Difference is Right Distributive over Union
 * 892) Square Matrix with Duplicate Rows has Zero Determinant
 * 893) Hyperbolic Cotangent in terms of Cotangent
 * 894) Cosecant Function is Odd
 * 895) Cosine of i
 * 896) Sine of i
 * 897) Real Plus Epsilon
 * 898) Derivative of Complex Composite Function
 * 899) Intersection is Largest Subset/General Result
 * 900) Preimage of Union under Mapping/General Result
 * 901) Complements of Parallelograms are Equal
 * 902) Subset Product within Semigroup is Associative
 * 903) Divisor Relation is Transitive
 * 904) Real Function is Strictly Convex iff Derivative is Strictly Increasing
 * 905) Complex Roots of Unity occur in Conjugate Pairs
 * 906) Complex Multiplication Distributes over Addition
 * 907) Equation of Straight Line in Plane/General Equation
 * 908) Singleton is Finite
 * 909) Ordinal is Less than Successor
 * 910) Union of Ordinals is Least Upper Bound
 * 911) Set Difference with Set Difference
 * 912) Closed Set in Topological Subspace/Corollary
 * 913) Telescoping Series/Example 1
 * 914) Union of Open Sets of Metric Space is Open
 * 915) Universal Generalisation
 * 916) Radius at Right Angle to Tangent
 * 917) Vector Space has Basis Between Linearly Independent Set and Finite Spanning Set
 * 918) Group Homomorphism Preserves Subgroups
 * 919) Real Number is Integer iff equals Ceiling
 * 920) Cauchy-Goursat Theorem
 * 921) Combination Theorem for Sequences/Real/Combined Sum Rule
 * 922) Element in Left Coset iff Product with Inverse in Subgroup
 * 923) De Morgan's Laws (Logic)/Conjunction of Negations
 * 924) Product Rule for Counting
 * 925) Equivalence of Mappings between Sets of Same Cardinality
 * 926) Surjection iff Cardinal Inequality
 * 927) Invertible Element of Monoid is Cancellable
 * 928) Cancellability of Congruences
 * 929) Ordinal is not Element of Itself
 * 930) Law of Cosines
 * 931) Bounds of Natural Logarithm
 * 932) Characterization of Measurable Functions
 * 933) Tail of Convergent Series tends to Zero
 * 934) Measure is Monotone
 * 935) Power Series is Differentiable on Interval of Convergence
 * 936) Viète's Formulas
 * 937) Way Below iff Second Operand Preceding Supremum of Ideal implies First Operand is Element of Ideal
 * 938) Identity Mapping is Automorphism
 * 939) Euler Phi Function of Prime Power
 * 940) Division of Complex Numbers in Polar Form
 * 941) De Morgan's Laws (Set Theory)/Relative Complement/General Case/Complement of Union
 * 942) Thales' Theorem
 * 943) Angles on Equal Arcs are Equal
 * 944) Supremum of Lower Closure of Element
 * 945) Directed iff Finite Subsets have Upper Bounds
 * 946) Intersection of Closed Sets is Closed
 * 947) Difference between Adjacent Convergents of Simple Continued Fraction
 * 948) Terms in Convergent Series Converge to Zero
 * 949) Element to Power of Multiple of Order is Identity
 * 950) Abel's Lemma/Formulation 2
 * 951) Integer Addition is Associative
 * 952) Complex Addition Identity is Zero
 * 953) Vector Scaled by Zero is Zero Vector
 * 954) Ring is Ideal of Itself
 * 955) Successor Set of Ordinal is Ordinal
 * 956) Particular Values of Signed Stirling Numbers of the First Kind
 * 957) Odd Number Theorem
 * 958) Size of Tree is One Less than Order
 * 959) Union of Empty Set
 * 960) Complex Roots of Unity in Exponential Form
 * 961) Regular Representations in Group are Permutations
 * 962) Equivalence of Definitions of Prime Number
 * 963) Equality of Ordered Tuples
 * 964) Equivalence of Definitions of Normal Subset
 * 965) Characterization of Measures
 * 966) Equivalence of Definitions of Locally Connected Space
 * 967) Prime Number Theorem
 * 968) Equivalence of Definitions of Irreducible Space
 * 969) Shape of Secant Function
 * 970) Existence of Interval of Convergence of Power Series
 * 971) Equivalence of Definitions of Interior (Topology)
 * 972) Equivalence of Definitions of Injection
 * 973) Riemann Hypothesis
 * 974) Newton's Law of Universal Gravitation
 * 975) Equivalence of Definitions of Complex Exponential Function
 * 976) Elementary Properties of Event Space
 * 977) Equivalence of Definitions of Euler's Number
 * 978) Correspondence between Linear Group Actions and Linear Representations
 * 979) Relation Partitions Set iff Equivalence
 * 980) Supremum of Empty Set is Smallest Element
 * 981) Duality Principle (Category Theory)
 * 982) Size of Linearly Independent Subset is at Most Size of Finite Generator
 * 983) Cyclic Groups of Same Order are Isomorphic
 * 984) Cosine Function is Absolutely Convergent
 * 985) Matrix Form of Quaternion
 * 986) Equivalence of Definitions of Congruence
 * 987) Triangle Angle-Side-Angle Equality
 * 988) Sum of Complex Number with Conjugate
 * 989) Euclidean Space is Complete Metric Space
 * 990) Axiom:Euclid's Third Postulate
 * 991) Equivalence of Definitions of Closed Set
 * 992) Open and Closed Sets in Topological Space
 * 993) Conversion of Cauchy-Euler Equation to Constant Coefficient Linear ODE
 * 994) Transfinite Recursion
 * 995) Metric Induced by Norm is Metric
 * 996) Solution to Bernoulli's Equation
 * 997) Bases of Vector Space have Equal Cardinality
 * 998) Sum of Arithmetic Progression
 * 999) Full Angle measures 2 Pi Radians
 * 1000) Transfinite Recursion/Theorem 2