Suppose that ##n,j \in \mathbb{N}##, ##j \in [0, n-1]##, and ##n~|~2j##. Why is it the case that ##j = 0## or ##2j = n##? This is used in a proof of something else, but I am getting tripped up on this part. I know it has to do with the fact that ##j \in [0, n-1]##. Is it because ##n## can't ever...