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