theorem :: XPRIMES2:2288

canceled;