theorem public under proposition 24 List Picture As a command %3 n0 theorem n2 bayes'-theorem n0->n2 n3 bernoulli's-law n0->n3 n4 binomial-theorem n0->n4 n5 cap-theorem n0->n5 n6 godel-incompleteness-theorem n0->n6 n7 inclusion-exclusion-principle n0->n7 n8 knaster-tarski-theorem n0->n8 n9 lemma n0->n9 n10 noisy-channel-coding-theorem n0->n10 n11 nyquist-shannon-sampling-theorem n0->n11 n12 pigeonhole-principle n0->n12 n13 shannon-source-coding-theorem n0->n13 n14 zorn's-lemma n0->n14 n1 proposition n1->n0