Suppose n, a are integers. If n divides a, then n divides a^2.