Hunting Causes and Using Them: Two theorems on invariance and causality