て言うかそれでも一般角の証明できればそこから符号いじるだけで証明できるだろ