Added proof of Serre Duality (for real)