I know the definition of divides into is $$a|b \equiv \exists a\in\mathbb{Z}, b = ac$$ however I'm not sure how to manipulate this to prove $$\forall n \in\mathbb{N}, (n|105 \wedge n|70) \implies 5|n$$
Any help to lead me in the right way would be appreciated! I'm new to proofs so please explain any steps I could take!