W = gets.to_i
H = gets.to_i
N = gets.to_i
S, K = (1..N).map {gets.split.map(&:to_i)}.transpose
s = S.uniq.size
k = K.uniq.size
ans = W * k + H * s - s * k - N
puts ans