Well if so then
[tex]
3\mid(22n+1+7)\wedge n>1 \\
3\mid2(11n+4)\wedge n>1 \\
[/tex]
Which is false since [tex]3\mid2[/tex] is false. However we have [tex]3\mid2x[/tex] is true if [tex]x\mid3[/tex] or in this case [tex]11n+4\mid3[/tex].
So it's true in some cases false.
Hope this helps.
