Proving by first and intermediate principles (0)

by Bruno Buchberger