Comment by whatshisface

But that's not "basically it," there are lots of high-flying theorems that make it an entire area of mathematics.