Complementary Error Function of Zero

Theorem

 * $\map \erfc 0 = 1$

where $\erfc$ denotes the complementary error function.