theorem Th3: :: NUMBER10:3

for m, n being Nat st m >= 2 & n >= 2 holds
m * n is composite