Šnirelmanin lause