Actually these all theorems are originated from macrolin theorem which is also an application of pollyorder derivative