added method for calculating theorem 1 in the butterfly
Merge branch 'master' of https://github.com/olerasmu/HourglassScheme