>>293
0p=0に式変形もくそもないですよね
正しい式ですよね

したがって、証明がすでに完了したので、わざわざ後発でしかも長い証明を頑張る必要がなくなってよかったですね