theorem :: XPRIMES2:2905

canceled;