for all a that are elements of the natural numbers, if b divides a and c divides a , then (bc) divides a.

i dont think you can make a substitution for the free variables a and c that makes the statement true other than b=1 and c=1 because 1 is the only natural number that divides all integers

is this right