A mathematical derivation of zero-temperature 2D superconductivity from microscopic Bardeen-Cooper-Schrieffer model