>>33
もちろんそうだ
証明の証明をしない限り それを真に「正しい」という事は出来ない