juggling theorem