F \ , ansåggrundsatsen