“托马斯公理”