네 맞습니다. 물론 증명을 할 수도 있지만, 앞부분에 다른 공식에 대한 증명을 해놓았고 이를 통해 뒷부분에서는 굳이 증명을 해놓지 않고 암기 방법을 통하여 이를 확장한 것입니다.