The statement "A proposition is part of a theory" is true because because you need something to proof