Bott periodicity theorem