5.4.1 公有派生