proof using generous postulates
m