7.3. 實現接口的條件

TODO