Examinemos tales teoremas.