prove that file is non-empty