They must follow from the basic principles.

• 它们就一定是自基本原理推导得出来的。