circumference aspect of circle, 5 assertions