Complementary Error Function of Zero

Theorem

 * $\displaystyle \map \erfc 0 = 1$

where $\erfc$ denotes the complementary error function.