# proof

Using simple properties of integers and of l.c.m. and h.c.f. we can easily show that axioms (1)-(3) given in the definition of a Boolean algebra are satisfied. Now axiom (4) will hold if and only if for any a ϵ B, a and n/a have no common factor, other than 1. This condition is equivalent to n being square-free.