Started with p133, found a method and its proof