props thms and big-O