`a) (SAB) nn (SAD) = SA to SA bot (ABCD)`

`to SA bot BC`

`ABCD` là hình vuông `to AB bot BC to BC bot (SAB)` mà `BC in (SBC)`

`to (SBC) bot (SAB)`

`b) SA bot (ABCD) to SA bot BD`

Vì `ABCD` là hình vuông `to AC bot BD to BD bot (SAC)` mà `BD in (SBD)`

`to (SBD) bot (SAC)`

`c) (SAB) bot (SBC) to AH bot (SBC) to AH bot SC`

Ta có : `SA bot (ABCD) to SA bot CD`

mà `AD bot CD to CD bot (SAD) to (SCD) bot (SAD) to AK bot(SCD) to AK bot SC`

`to SC bot (AHK)` mà `SC in (SAC) to (SAC) bot (AHK)`