PDGL1 added
changed to ntheorem environments