قدر كبير من العمل اللاحق في الرياضيات قد طور بشكل مثمر من برهان لمي الثانوي ظاهريا، والتي تحول إلى نتيجة مبكرة هامة في التوافقيات، دعماْ للفكرة القائلة بأن ضمن النظم الكبيرة بما فيه الكفاية، بينما مختلة، يجب أن يكون هناك بعض النظام.