Тривиальность импликации

[gogoshik]

Я хочу как то записать это в тексте моей студенческой научной работы, так как это утверждение может быть использовано для доказательства исходной гипотезы. Вот я думаю, как это правильно записать.

[Sender]

Раз сомневаетесь, просто запишите утверждение вместе с доказательством, без всяких указаний на тривиальность.