異なる左剰余類は共通部分を持たない
左剰余類の濃度は全部部分群と一緒
はい、射精