Theorems for module presentations