proves the theory
# suitescript
m
proves the theory