Second Theorem (SFTAP)