Axiomatic하게 접근하고 증명하는건 정말 지루하다....

- dc official App