  Weyl denominator identity for the affinization of a basic Lie superalgebra
with a non-zero Killing form was formulated by Kac and Wakimoto and was proven
by them in defect one case. In this paper we prove this identity.
