w = gets.to_i
h = gets.to_i
n = gets.to_i
s = []
k = []
n.times do
    si, ki = gets.split.map &:to_i
    s << si
    k << ki
end
x = s.uniq.size
y = k.uniq.size
p x * h + y * w - x * y - n