Theorem

noether's theorem theorematic tauberian four color theorem lemma true holevo's theorem axiom philosopheme tauberian theorem axiomatic system no go theorem commutant lifting theorem nontheorem titchmarsh convolution theorem bézout's identity proposition completeness porime countertheorem theory antispiral prove theoretical categorify no hair theorem lickorish wallace theorem probabilistically checkable proof mathematical soundness nonsqueezing pluperfect q analog gleason's theorem quadratic reciprocity arrow's theorem statement theorematist categorification antitheorem essential special case futurama theorem theorematics hairy ball theorem rolle's theorem proof mean value theorem banach tarski paradox conservative extension goodstein's theorem theorems importance axiom system converse s vitali carathéodory theorem expected heine borel theorem fundamental theorem zeckendorf's theorem cauchy schwarz inequality