接口内所有方法都自动是public的？怎么证明

接口是只用更加特殊的抽象类，它不包含普通方法，只包含抽象方法。而这些抽象方法就是多个类共同的公共行为规范，需要类去遵守，这些行为是与外部交流的通道，这就意味着接口通常定义的都是公共的用法，接口只关心这些类有没有遵守这些方法，而不去关心这些类的内部数据，也不关心这些类的方法实现细节。打个比方来说，接口就是一个公司的规章制度，部门就是类，那规章制度都是公开的要求大家遵守的，不可能把它私有起来不让别人看吧，那就没有意义了。

请在第九期的交流区中发贴和回贴。