Ft0 tétel