A három alaptétel és ezek bizonyítékai