theorem :: XPRIMES2:1812

canceled;