ballieus theorem