lab1 demonstration proof