Sum to prove 01
