|Title=Static Procedural Methods theorem deduction
|Premises=Method Rejection theorem (Barseghyan-2015)
|Formulation Text=The ''static procedural methods'' theorem follows from the method rejection theorem.
|Diagram File=Static-procedural-methods.jpg
|Authors List=Hakob Barseghyan
Here is the deduction:
{{PrintDiagramFile|diagram file=Static-procedural-methods.jpg}}|Resource=Barseghyan (2015)
|Page Status=Stub
|Editor Notes=
}}