proved some lemmas about sigma type
proved some lemmas about sigma type

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps