User:Dcljr/Series/theorem-begin