Changed license; added triangle area; enhanced ptheorem.py