>>945
逆正弦定理というもので論理的に証明されている