First Theorem (FFTAP)