If you hard-code group selection (setting the group as the unit of evolution), then you are already assuming what you want to prove.