add Sophiya's Last Theorem