531定论