Denna mening kan , Åtminstone med ett indirect stäl , bewisas.