Synge theorem