推论3