Picard theorem Pick theorem Jacobi theorem Sturm theorem Hippasus theorem Catalan theorem Leibniz theorem Selberg theorem data-rate theorem Bézout theorem